Closed GoogleCodeExporter closed 9 years ago
I've just installed a fresh 3.1.2 and this looks fine to me, color wise.
There was a problem with the gutter text being having a different line-height
to the main body which i've just fixed.
Original comment by MichaelS...@gmail.com
on 29 Jun 2012 at 5:33
Can we move #themecontent out of codemirror.css ?
It should be in template styles.
And maybe we should look into refactoring codemirror so we can update it more
easily.
Stick all the modes into their own js file.
Also make the css not customized and use a wrapper for codemirror, since it
inherits most of its styles.
Original comment by tablatronics
on 29 Jun 2012 at 8:06
Ill fix this up and check it in.
Original comment by tablatronics
on 29 Jun 2012 at 8:48
Fixed
r736
#themecontent kludge
was breaking page when nohighlight is on, moved it to style.php
ideally we want to get rid of those pre rules on maincontent, global styles
liek that are bad. I am not sure what uses it, but we can in the meantime put
maincontent back and use something more specific to override like.
#maincontent .main .codemirror pre {}
Original comment by tablatronics
on 30 Jun 2012 at 2:10
Original comment by tablatronics
on 7 Jul 2012 at 6:37
Original issue reported on code.google.com by
tablatronics
on 29 Jun 2012 at 4:53