ドキュメントのヘッダーを修正

[YACASL2.git] / doc / style.css

diff --git a/doc/style.css b/doc/style.css
index d117590..da2f969 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -46,6 +46,14 @@ h2 {
     display: none;
 }
 
+h1.node-heading {
+    display: none;
+}
+
+h2.shortcontents-heading{
+    display: none;
+}
+
 .shortcontents a {
    margin-right: 1em;
 }
@@ -120,4 +128,8 @@ pre.example strong {
 
 dt {
     font-weight: bold;
+}
+
+dfn {
+    font-style: normal;
 }
\ No newline at end of file