Erik Rose wrote:
https://blog.mozilla.org/webdev/2014/02/07/dxr-gets-a-huge-ui-refresh/
Why are you double spacing the output and then "fixing" it by
hard-coding .7 line spacing for the source and 1.4 for the line numbers?
Also although most of your CSS uses classes, some of it uses
:first-child (or equivalent) which makes it look inconsistent.
--
Warning: May contain traces of nuts.
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform
