add jquery-ui.css in the mix for nicer hazelnut rendering - although not perfect yet
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 24 Mar 2013 14:39:15 +0000 (15:39 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 24 Mar 2013 14:39:15 +0000 (15:39 +0100)
commit18c083f0dc202683cf4ed2ba640195e577eb95fa
tree7e5b0c0afcd95038bda6cea297ad61c6a7c1fae7
parent586de43ee15600a9ad1b5b221f506f91618c8bef
add jquery-ui.css in the mix for nicer hazelnut rendering - although not perfect yet
Makefile
plugins/hazelnut/hazelnut.py
third-party/jquery/css/jquery-ui.css [new file with mode: 0644]
third-party/jquery/css/jquery-ui.css.url [new file with mode: 0644]