fix prettyify and update the table styles to include a condensed flavor

docs/assets/js/google-code-prettify/prettify.css

@@ -16,12 +16,11 @@
 }
 
 /* Specify class=linenums on a pre to get line numbering */
-.linenums {
+ol.linenums {
   margin: 0 0 0 40px;
 }
 /* IE indents via margin-left */
-.linenums li {
-  margin-left: -5px;
+ol.linenums li {
   padding: 0 5px;
   color: rgba(0,0,0,.15);
   line-height: 20px;

docs/index.html

@@ -865,6 +865,39 @@
 <table>
   ...
 &lt;/table&gt;</pre>
+      <h3>Example: Condensed table</h3>
+      <p>For tables that require more data in tighter spaces, use the condensed flavor that cuts padding in half. It can also be used in conjunction with borders and zebra-stripes, just like the default table styles.</p>
+      <table class="condensed-table">
+        <thead>
+          <tr>
+            <th>#</th>
+            <th>First Name</th>
+            <th>Last Name</th>
+            <th>Language</th>
+          </tr>
+        </thead>
+        <tbody>
+          <tr>
+            <th>1</th>
+            <td>Some</td>
+            <td>One</td>
+            <td>English</td>
+          </tr>
+          <tr>
+            <th>2</th>
+            <td>Joe</td>
+            <td>Sixpack</td>
+            <td>English</td>
+          </tr>
+          <tr>
+            <th>3</th>
+            <td>Stu</td>
+            <td>Dent</td>
+            <td>Code</td>
+          </tr>
+        </tbody>
+      </table>
+
       <h3>Example: Bordered table</h3>
       <p>Make your tables look just a wee bit sleeker by rounding their corners and adding borders on all sides.</p>
       <table class="bordered-table">