diff --git a/doc/css/style.sass b/doc/css/style.sass
index b051b8f1..5d2b15ec 100644
--- a/doc/css/style.sass
+++ b/doc/css/style.sass
@@ -5,7 +5,7 @@
 
 $separator: #CCCCCC
 
-$size_body_width: 700px
+$size_body_width: 60em
 $size_toc_width: 150px
 
 $color_a: #569633
@@ -27,7 +27,7 @@ body
   color: $color_font
   line-height: 18px
   font-family: Arial, sans-serif
-  font-size: 13px
+  font-size: 100%
 
 div.container
   display: block
@@ -40,7 +40,7 @@ div.container
 
 #menu
   width: 100%
-  margin: 1em 0
+  margin: 1em 0 1.4em 0
   border-bottom: 1px solid $color_menu_border
   text-align: center
   ul
@@ -58,6 +58,7 @@ div.container
 
 #contents.sidebar
   float: right
+  border-left: 1px solid $color_menu_border
   width: $size_toc_width
   ul
     margin-bottom: 0.2em
diff --git a/doc/htdocs/css/style.css b/doc/htdocs/css/style.css
index 10f0924b..05b86603 100644
--- a/doc/htdocs/css/style.css
+++ b/doc/htdocs/css/style.css
@@ -64,13 +64,13 @@ body {
   color: #2a2a2a;
   line-height: 18px;
   font-family: Arial, sans-serif;
-  font-size: 13px;
+  font-size: 100%;
 }
 
 /* line 32, ../../css/style.sass */
 div.container {
   display: block;
-  width: 700px;
+  width: 60em;
   margin: 0 auto;
 }
 
@@ -83,7 +83,7 @@ div.container {
 /* line 41, ../../css/style.sass */
 #menu {
   width: 100%;
-  margin: 1em 0;
+  margin: 1em 0 1.4em 0;
   border-bottom: 1px solid #bbbbbb;
   text-align: center;
 }
@@ -115,29 +115,30 @@ div.container {
 /* line 59, ../../css/style.sass */
 #contents.sidebar {
   float: right;
+  border-left: 1px solid #bbbbbb;
   width: 150px;
 }
-/* line 62, ../../css/style.sass */
+/* line 63, ../../css/style.sass */
 #contents.sidebar ul {
   margin-bottom: 0.2em;
 }
 
-/* line 65, ../../css/style.sass */
+/* line 66, ../../css/style.sass */
 p.topic-title {
   display: none;
 }
 
-/* line 68, ../../css/style.sass */
+/* line 69, ../../css/style.sass */
 div.section {
   margin-right: 170px;
 }
 
-/* line 71, ../../css/style.sass */
+/* line 72, ../../css/style.sass */
 div.section div.section {
   margin-right: 0;
 }
 
-/* line 74, ../../css/style.sass */
+/* line 75, ../../css/style.sass */
 div.section ul {
   margin-left: 15px;
   list-style: none;
@@ -149,18 +150,18 @@ div.section ul li {
   margin-left: 0px;
 }
 
-/* line 78, ../../css/style.sass */
+/* line 79, ../../css/style.sass */
 h1, h2, h3, h4 {
   color: #489848;
 }
 
-/* line 81, ../../css/style.sass */
+/* line 82, ../../css/style.sass */
 h1 {
   margin-top: 10px;
   font-size: 26px;
 }
 
-/* line 85, ../../css/style.sass */
+/* line 86, ../../css/style.sass */
 h2 {
   border-bottom: 5px solid #cccccc;
   margin-bottom: 13px;
@@ -169,54 +170,54 @@ h2 {
   font-weight: 700;
 }
 
-/* line 92, ../../css/style.sass */
+/* line 93, ../../css/style.sass */
 h3 {
   border-bottom: 1px solid #cccccc;
   margin-bottom: 13px;
   font-weight: 700;
 }
 
-/* line 97, ../../css/style.sass */
+/* line 98, ../../css/style.sass */
 a {
   color: #569633;
   text-decoration: none;
 }
 
-/* line 101, ../../css/style.sass */
+/* line 102, ../../css/style.sass */
 p {
   margin-bottom: 1em;
   font-size: 1em;
 }
 
-/* line 105, ../../css/style.sass */
+/* line 106, ../../css/style.sass */
 ol {
   list-style: decimal;
   margin-left: 2em;
   margin-bottom: 13px;
 }
 
-/* line 110, ../../css/style.sass */
+/* line 111, ../../css/style.sass */
 ul {
   list-style: disc;
   margin-left: 2em;
   margin-bottom: 13px;
 }
 
-/* line 115, ../../css/style.sass */
+/* line 116, ../../css/style.sass */
 pre, tt {
   font-family: "andale mono", "lucida console", monospace;
   font-size: 12px;
   background: #ffffdd;
 }
 
-/* line 120, ../../css/style.sass */
+/* line 121, ../../css/style.sass */
 pre {
   white-space: pre;
   margin: 3px 3px 2em 3px;
   padding: 8px 20px;
 }
 
-/* line 125, ../../css/style.sass */
+/* line 126, ../../css/style.sass */
 .note {
   border-top: 1px solid #489848;
   border-bottom: 1px solid #489848;
@@ -224,7 +225,7 @@ pre {
   margin-bottom: 2em;
   position: relative;
 }
-/* line 131, ../../css/style.sass */
+/* line 132, ../../css/style.sass */
 .note p.admonition-title:before {
   content: "!";
   font-size: 60px;
@@ -235,20 +236,20 @@ pre {
   left: 30px;
   font-family: helvetica, arial;
 }
-/* line 140, ../../css/style.sass */
+/* line 141, ../../css/style.sass */
 .note p.admonition-title {
   font-weight: 700;
   margin: 0;
   margin-bottom: 4px;
   padding: 0;
 }
-/* line 145, ../../css/style.sass */
+/* line 146, ../../css/style.sass */
 .note p.last {
   padding: 0;
   margin: 0;
 }
 
-/* line 149, ../../css/style.sass */
+/* line 150, ../../css/style.sass */
 #footer {
   border-top: 1px solid #cccccc;
   clear: both;
@@ -259,7 +260,7 @@ pre {
   text-align: center;
   font-size: 0.8em;
 }
-/* line 158, ../../css/style.sass */
+/* line 159, ../../css/style.sass */
 #footer a {
   color: #444444;
 }