Wim Brand 086a4b77ec Style listnavigator better

2019-07-18 19:53:09 +02:00

..

compiled

navigator.share

2019-06-04 20:14:25 +02:00

embedupload.css

Move static resources up one level

2018-11-06 21:39:18 +01:00

embedupload.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

history.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

jquery-2.1.4.min.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

jquery-3.2.1.min.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

jquery-cookie.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

jquery.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

Keyboard.js

forgot a break

2019-07-18 11:48:57 +02:00

ListNavigator.js

Style listnavigator better

2019-07-18 19:53:09 +02:00

openlist.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

paste.js

Some optimizations. Improve font loading and embed global.css directly

2019-02-18 13:37:41 +01:00

prettyprint.js

Move static resources up one level

2018-11-06 21:39:18 +01:00

Toolbar.js

Lots of style fixes

2019-07-17 23:19:57 +02:00

Viewer.js

Style listnavigator better

2019-07-18 19:53:09 +02:00