really fix prettyprint styles

mdo · mdo · commit 44d989009b20 · 2011-10-25T19:36:53.000-07:00
diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css
@@ -16,12 +16,11 @@
 }
 
 /* Specify class=linenums on a pre to get line numbering */
-.linenums {
-  margin: 0;
+ol.linenums {
+  margin: 0 0 0 40px;
 }
 /* IE indents via margin-left */
-.linenums li {
-  margin-left: 40px;
+ol.linenums li {
   padding: 0 5px;
   color: rgba(0,0,0,.15);
   line-height: 20px;
