X-Git-Url: http://git.shiar.nl/sheet.git/blobdiff_plain/ce93e984084764f24f25324e8033c405b7e768f5..f6c61807f22fee7d4bdb16c575d1c58d5f26e855:/base.css diff --git a/base.css b/base.css index 9953dee..b29b024 100644 --- a/base.css +++ b/base.css @@ -102,6 +102,14 @@ pre { display: inline-block; text-align: left; } +body > pre { + width: 78ch; + tab-size: 4; + -moz-tab-size: 4; + padding: 0 1em; + border-width: 0 1px; + border-style: solid; +} h2 small { position: absolute; /* side note; do not influence alignment */ @@ -144,7 +152,7 @@ h3 {display: none} /* semantic details (non-css/js) */ table.keys { display: block; - width: 82.5em; /* 12 * (2px + 1px + 6.2em + 1px + 2px) + 8em*/ + width: 82.5em; /* 12 * td(2px + 1px + 6.2em + 1px + 2px) + 8em */ // padding-right: 72px; border-spacing: 0; border-collapse: collapse; @@ -698,6 +706,7 @@ nav > .section { break-inside: avoid; -webkit-column-break-inside: avoid; /* webkit */ page-break-inside: avoid; /* moz */ + overflow: hidden; /* webkit workaround */ } #index nav a { display: inline-block; @@ -715,3 +724,51 @@ nav > .section { ul.legend-set {display: none} /* current options only relevant on dynamic media */ } +/* terse optimisation */ + +@media (max-width: 79em) { + .keys td { + position: relative; /* hides overflow */ + width: 4.5em; + } + .keys td b, + .keys.meta td b, + .keys.ctrl td b, + .keys.lead td b { /* leading chars always fit */ + position: absolute; /* background */ + right: 0; /* least overlap in corner */ + font-size: 250%; + line-height: 2.5ex; + opacity: .5; + color: #FFF; + } + table.keys { + width: 62.1em; /* 82.5em - 12 * Δtd(6.2em - 4.5em) */ + } + @media (max-width: 61em) { + .keys td { + width: 3em; + height: 6.75ex; /* 3 lines */ + font-size: 80%; + } + table.keys { + width: 37em; /* (12 * td(3em + 6px) + 8em) * 80% */ + } + } +} + +/* +@media screen and (orientation: portrait) and (max-width: 62em) { + body table.keys, + #rows { + margin-top: 1ex; + transform: rotate(90deg); + transform-origin: top left; + width: 68em; + height: 37em; + margin-left: 40em; + margin-bottom: 30em; + font-size: 80%; + } +} +*/