1b682f65a464 initial-docs

--- a/docs/hgreview/static/review.css	Tue Jul 13 00:22:46 2010 -0400
+++ b/docs/hgreview/static/review.css	Tue Jul 13 00:32:31 2010 -0400
@@ -3,7 +3,6 @@
   background-color: #f8f7e8;
   font-family: Georgia, serif;
   color: #222;
-  text-rendering: optimizeLegibility;
 }
 body a, html a {
   color: #b6410c;
@@ -51,7 +50,7 @@
   border: 1px solid #edecc7;
   margin: 25px auto 0px;
   padding: 0px 00px;
-  width: 800px;
+  width: 840px;
 }
 .document .documentwrapper {
   -webkit-border-radius: 8px;
@@ -78,12 +77,12 @@
   background-color: #f8f7e8;
   font-size: 13px;
   font-family: Monaco, Consolas, "Courier New", monospace;
-  line-height: 24px;
+  line-height: 16px;
   margin-bottom: 32px;
   margin-top: -8px;
   margin-left: 25px;
-  padding: 0px 8px;
-  width: 498px;
+  padding: 6px 8px;
+  width: 538px;
   overflow-x: auto;
 }
 .document .documentwrapper .bodywrapper span.pre {
@@ -95,11 +94,25 @@
   line-height: 24px;
   white-space: pre;
 }
+.document .documentwrapper .bodywrapper ul {
+  list-style-type: disc;
+}
+.document .documentwrapper .bodywrapper ul li {
+  margin-left: 44px;
+}
 .document .documentwrapper .bodywrapper ul span.pre {
   background-color: inherit;
   border: none;
   padding: 0;
 }
+.document .documentwrapper .bodywrapper ul li.toctree-l1 {
+  list-style-type: none;
+  margin-left: 0;
+}
+.document .documentwrapper .bodywrapper ul li.toctree-l2, .document .documentwrapper .bodywrapper ul li.toctree-l3 {
+  list-style-type: none;
+  margin-left: 30px;
+}
 .document .documentwrapper .bodywrapper a em {
   font-style: normal;
 }
@@ -207,7 +220,7 @@
   clear: both;
 }
 .footer {
-  width: 800px;
+  width: 840px;
   margin: 8px auto 40px;
   padding-right: 10px;
   text-align: right;

--- a/docs/hgreview/static/review.less	Tue Jul 13 00:22:46 2010 -0400
+++ b/docs/hgreview/static/review.less	Tue Jul 13 00:32:31 2010 -0400
@@ -5,7 +5,7 @@
 
 @font-normal: Georgia, serif;
 @font-mono: Monaco, Consolas, "Courier New", monospace;
-@content-width: 800px;
+@content-width: 840px;
 
 .border-radius(@radius) {
     -webkit-border-radius: @radius;
@@ -78,11 +78,11 @@
                 background-color: @c-soft-cream;
                 font-size: 13px;
                 font-family: @font-mono;
-                line-height: 24px;
+                line-height: 16px;
                 margin-bottom: 32px;
                 margin-top: -8px;
                 margin-left: 25px;
-                padding: 0px 8px;
+                padding: 6px 8px;
                 width: @content-width - 302px;
                 overflow-x: auto;
             }