データ構造の名前を変更
[YACASL2.git] / doc / style.css
index 6e9bcfe..d117590 100644 (file)
@@ -9,19 +9,58 @@ h1, h2 {
     margin-left: -2em;
 }
 
+.node{
+    margin-left: -3em;
+    color: inherit;
+    background-color: #DDF;
+}
+
+.menu, .node {
+    color: inherit;
+    background-color: #DDF;
+}
+
 h2 {
+    padding: 0.25em;
     color: white;
     background-color: navy;
-    padding: 0.25em;
 }
 
-h3, h4 {
+.contents {
+    background-color: #DDF;
+    border: 4px double #000;
+}
+
+.contents h2 {
+    margin-left: 0;
+    color: black;
+    background-color: #DDF;
+}
+
+.shortcontents {
+    background-color: #DDF;
+    border: 4px double #000;
+ }
+
+.shortcontents h2{
+    display: none;
+}
+
+.shortcontents a {
+   margin-right: 1em;
+}
+
+h3, h4, h5 {
     color: navy;
     margin-left: -1em;
 }
 
+h5 {
+    font-size: 100%;
+}
+
 p {
-    line-height: 1.5em;
+    line-height: 1.25em;
     margin-top: 0;
     margin-bottom: 0.5em;
 }
@@ -31,34 +70,54 @@ a:hover {
     text-decoration: underline;
 }
 
-.command {
-    font-family: monospace;
-}
-
 pre.example {
-    width: 100%;
     padding: 0.5em 1em 0.5em 1em;
     color: #CCC;
     background: black;
     font-size: 90%;
 }
 
-pre.example b {
-    color: white;
-    background-color: black;
-}
-
 a {
     text-decoration: none;
 }
 
-blockquote.p {
-    margin-top:0;
-    padding-top:0;
-    line-height: 100%;
+blockquote {
+    line-height: 1.25em;
+    border: 1px solid #00F;
+}
+
+kbd {
+    font-family: monospace;
+}
+
+kbd, code, .file {
+    margin-left:0.5em;
+    margin-right: 0.5em;
 }
 
 table, th, td {
     border: 1px solid #CCC;
     border-collapse: collapse; /* 枠線の表示方法 */
 }
+
+table.cartouche, table.cartouche th, table.cartouche td  {
+    border: none;
+}
+
+pre.example .command, pre.example .option, pre.example kbd {
+    font-weight: bold;
+    font-family: monospace;
+    background-color: inherit;
+    color: white;
+    margin-left:0;
+    margin-right: 0;
+}
+
+pre.example strong {
+    font: inherit;
+    border: 2px solid green;
+}
+
+dt {
+    font-weight: bold;
+}
\ No newline at end of file