This repository has been archived on 2020-04-11. You can view files and clone it, but cannot push or open issues or pull requests.

Paul van Tilburg 5b4a24e0a6 Removed unnecessary CSS that is handled by JQuery UI CSS now; add some overrides ... Finished with integrating JQuery UI Dialogs, closes: #abb97f		2012-02-13 18:10:56 +01:00
..
highlight.css	Add the highlight.js library	2012-01-12 14:20:50 +01:00
style.css	Removed unnecessary CSS that is handled by JQuery UI CSS now; add some overrides	2012-02-13 18:10:56 +01:00