turn off querycode.css for now as it appears to set stuff for e.g. div.in that messes...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 22 Mar 2013 12:53:55 +0000 (13:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 22 Mar 2013 12:53:55 +0000 (13:53 +0100)
commit749a43a7f1238a362e8c27dd8bf104672911dfa7
tree2a300f46efd45b2fd750b058783c8981df77757b
parentd89d22bf3efa4cee1897668189f2deacf83bb19c
turn off querycode.css for now as it appears to set stuff for e.g. div.in that messes with our tabs
besides it's useless until we turn syntax highlighting back on again
plugins/querycode/querycode.css
plugins/querycode/querycode.py