dieren: image figures captioned by names

[sheet.git] / base.css

diff --git a/base.css b/base.css
index 557a21f8d5f62ad4b390e424033dbcb9bf3cea56..3c00aa43f290c3f9f83e59f00ea0d716ee609cd2 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;
 }
 
@@ -659,6 +662,24 @@ ul.legend-set li {
        padding: 0 0.2em;
 }
 
+/* images */
+
+figure {
+       margin: 0;
+       position: relative;
+}
+figcaption {
+       position: absolute;
+       padding: 0 1em;
+       background: rgba(0, 0, 0, .5);
+       right: 0;
+       bottom: 0;
+}
+img {
+       vertical-align: bottom;
+       width: 100%;
+}
+
 /* page-specific */
 
 #browser td > a {