diff options
Diffstat (limited to 'docs/site/site.css')
| -rw-r--r-- | docs/site/site.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/site/site.css b/docs/site/site.css index 6e4a2e93..dc682eff 100644 --- a/docs/site/site.css +++ b/docs/site/site.css @@ -207,3 +207,10 @@ main[data-page="builtins"] .content h4 + p { margin-top:0; } .annotated .pins li { margin:.25em 0; } .annotated .pins li::marker { font:700 15px var(--mono); color:var(--amber); } @media (max-width:600px) { .annotated { grid-template-columns:minmax(0, 1fr); } } +.clip figcaption .more { font:15px var(--pixel); color:var(--leaf); margin-left:.3em; white-space:nowrap; } +.clip { scroll-margin-top:16px; } + +/* a pane's box: blank normal, ^ insert, $ raw; filled while unsaved */ +.mode-box { display:inline-flex; align-items:center; justify-content:center; width:1.15em; height:1.15em; vertical-align:-.15em; + font:700 .8em var(--mono); background:var(--tag); color:var(--ink); border:2px solid var(--leaf); border-radius:2px; } +.mode-box.unsaved { background:var(--amber); border-color:var(--amber); color:#1b120a; } |