diff --git a/forgetest/forgetest/ui/theme.css b/forgetest/forgetest/ui/theme.css index bdd2c9a..384a2dd 100644 --- a/forgetest/forgetest/ui/theme.css +++ b/forgetest/forgetest/ui/theme.css @@ -451,6 +451,23 @@ footer a { font-size: 11.5px; margin-left: 2px; } +.extadvdoc { + max-height: 22rem; + overflow-y: auto; + margin-bottom: 0.5rem; +} +.extadvdoc h1, +.extadvdoc h2 { + font-size: 1rem; + margin: 0.6rem 0 0.3rem; +} +.extcaps { + margin: 0.2rem 0 0.2rem 1.1rem; + padding: 0; +} +.extcaps li { + margin: 0; +} .hint { color: var(--og-dim); font-size: 12.5px; @@ -798,3 +815,9 @@ footer a { min-height: 16px; text-align: right; } + +/* A package's interface: the label is the panel's, the frame is the + package's, and the frame is given a size rather than taking one. */ +#extframe { margin-top: 0.6rem; } +.extframe-label { padding: 0.3rem 0; } +.extframe { width: 100%; height: 360px; border: 1px solid #444; background: #fff; }