dieren: proposed additions on ?v parameter

[sheet.git] / base.css

diff --git a/base.css b/base.css
index 557a21f8d5f62ad4b390e424033dbcb9bf3cea56..3dc2fac4254818448c17d84582eb19f1d6146e77 100644 (file)
--- a/base.css
+++ b/base.css
@@ -116,9 +116,12 @@ body > pre {
        white-space: pre;
 }
 
+h1 small,
 h2 small {
        position: absolute; /* side note; do not influence alignment */
        margin-left: 1em;
+       font-size: 80%;
+       line-height: 175%;
 }
 
 dl > dt {
@@ -578,12 +581,12 @@ dl.legend dt.more:hover,
 .keys td.more:hover b {
        text-shadow: #F20 0 0 0.5em, #FC0 0 0 0.2em;
 }
-dl.legend dt.ext,
-.keys td.ext {
-       border-style: dashed;
-}
 dl.legend dt.new,
 .keys td.new {
+       border-style: dashed;
+}
+dl.legend dt.ext,
+.keys td.ext {
        opacity: .6;
 }