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)
besides it's useless until we turn syntax highlighting back on again


No differences found