マニュアルのスタイルを修正

diff --git a/VERSION b/VERSION
index 590fd79..6048393 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-0.2p4
+0.2p5
 

diff --git a/doc/style.css b/doc/style.css
index d117590..04bfa1f 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -20,6 +20,10 @@ h1, h2 {
     background-color: #DDF;
 }
 
+table.menu, table.menu th, table.menu td {
+    border-style: none;
+}
+
 h2 {
     padding: 0.25em;
     color: white;
@@ -46,6 +50,14 @@ h2 {
     display: none;
 }
 
+h1.node-heading {
+    display: none;
+}
+
+h2.shortcontents-heading{
+    display: none;
+}
+
 .shortcontents a {
    margin-right: 1em;
 }
@@ -120,4 +132,8 @@ pre.example strong {
 
 dt {
     font-weight: bold;
+}
+
+dfn {
+    font-style: normal;
 }
\ No newline at end of file