style/mono: prevent colour in active/hovered links
[sheet.git] / base.css
index afa1d356489d96ae5a30f15235b6411e6dcef3ad..4c01d2b0b24f20d8becc5e70387cedfe3b3aead7 100644 (file)
--- a/base.css
+++ b/base.css
@@ -335,6 +335,25 @@ table.dimap {
 .ex {background: #EEE} /* experimental, disfavoured */
 .u-invalid {background: #BBB} /* invalid, impossible */
 
+.p0         {opacity: .5}
+.p0.p       {opacity: 1}
+.p::after   {content: '!'; color: #F00}
+.p4::after  {color: #C00}
+.p3::after  {color: #A00}
+.p2::after  {color: #800}
+.p1::after,
+.p0::after  {color: #000}
+.p09::after {opacity: .9}
+.p08::after {opacity: .8}
+.p07::after {opacity: .7}
+.p06::after {opacity: .6}
+.p05::after {opacity: .5}
+.p04::after {opacity: .4}
+.p03::after {opacity: .3}
+.p02::after {opacity: .2}
+.p01::after {opacity: .1}
+.p00::after {display: none}
+
 /* code syntax */
 .sy-comment    { color: #888 }
 .sy-constant   { color: #008 }
@@ -535,6 +554,28 @@ ul.legend-set li {
        padding: 0 0.2em;
 }
 
+/* page-specific */
+
+#browser .aside {
+       font-size: 80%;
+       overflow: hidden;
+       height: 0;
+       -webkit-transition: all 1s ease-in;
+       -o-transition: all 1s ease-in;
+       -moz-transition: all 1s ease-in;
+       transition: height 1s ease-in;
+}
+#browser .aside p {
+       margin: 1ex 0;
+}
+#browser tr:hover .aside {
+       height: auto;
+       min-height: 5ex; /* browsers currently only transition to static values */
+}
+#browser td.X {
+       white-space: nowrap; /* some browsers break on dashes */
+}
+
 /* printing hints */
 
 @page {