diff --git a/public/stylesheets/prettify.css b/public/stylesheets/prettify.css index 7979d061a..489f1959b 100644 --- a/public/stylesheets/prettify.css +++ b/public/stylesheets/prettify.css @@ -46,7 +46,7 @@ pre li,ul,ol { ol.linenums { margin-top: 0; margin-bottom: 0;line-height: 15px;margin-left: 0px !important; } /* IE indents via margin-left */ .list_style ol li { list-style-type: decimal; - margin-left: 10px; + margin-left: 10px !important; } li.L0, li.L1,