306 lines
5.2 KiB
CSS
306 lines
5.2 KiB
CSS
body:has(.docs-layout) {
|
|
max-width: 100vw;
|
|
padding: 1rem 2rem;
|
|
overflow: hidden;
|
|
height: 100vh;
|
|
}
|
|
|
|
.docs-layout {
|
|
display: flex;
|
|
gap: 2rem;
|
|
height: calc(100vh - 3.5rem);
|
|
}
|
|
|
|
.docs-sidebar {
|
|
width: 200px;
|
|
flex-shrink: 0;
|
|
overflow-y: auto;
|
|
}
|
|
|
|
.docs-sidebar h3 {
|
|
font-size: 0.8rem;
|
|
color: var(--text-muted);
|
|
margin: 1.25rem 0 0.25rem;
|
|
padding: 0;
|
|
text-transform: uppercase;
|
|
letter-spacing: 0.05em;
|
|
}
|
|
|
|
.docs-sidebar h3:first-child {
|
|
margin-top: 0;
|
|
}
|
|
|
|
.docs-sidebar button {
|
|
display: block;
|
|
width: 100%;
|
|
text-align: left;
|
|
font-family: 'VCR OSD Mono', monospace;
|
|
font-size: 0.8rem;
|
|
background: none;
|
|
border: none;
|
|
border-left: 2px solid transparent;
|
|
color: var(--text-dim);
|
|
padding: 0.2rem 0.5rem;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.docs-sidebar button:hover {
|
|
color: var(--text);
|
|
}
|
|
|
|
.docs-sidebar button.active {
|
|
color: var(--text);
|
|
border-left-color: var(--text);
|
|
}
|
|
|
|
.docs-content {
|
|
flex: 1;
|
|
min-width: 0;
|
|
max-width: none;
|
|
overflow-wrap: break-word;
|
|
overflow-y: auto;
|
|
}
|
|
|
|
.docs-content article {
|
|
display: none;
|
|
}
|
|
|
|
.docs-content article.visible {
|
|
display: block;
|
|
}
|
|
|
|
.docs-content h1 {
|
|
font-size: 1.3rem;
|
|
margin: 0 0 1rem;
|
|
border-bottom: 1px solid var(--text-muted);
|
|
padding-bottom: 0.5rem;
|
|
}
|
|
|
|
.docs-content h2,
|
|
.docs-content h3,
|
|
.docs-content h4,
|
|
.docs-content h5 {
|
|
background: var(--surface);
|
|
margin: 1.5rem 0 0.5rem;
|
|
padding: 0.3rem 0.5rem;
|
|
}
|
|
|
|
.docs-content h2 {
|
|
font-size: 1.1rem;
|
|
}
|
|
|
|
.docs-content h3 {
|
|
font-size: 1rem;
|
|
}
|
|
|
|
.docs-content h4 {
|
|
font-size: 0.95rem;
|
|
}
|
|
|
|
.docs-content h5 {
|
|
font-size: 0.9rem;
|
|
}
|
|
|
|
.docs-content p {
|
|
margin: 0.5rem 0;
|
|
text-align: left;
|
|
line-height: 1.5;
|
|
}
|
|
|
|
.docs-content pre {
|
|
background: var(--surface);
|
|
border-left: 2px solid var(--text-muted);
|
|
padding: 0.75rem 1rem;
|
|
margin: 1rem 0;
|
|
overflow-x: auto;
|
|
font-size: 0.85em;
|
|
line-height: 1.4;
|
|
}
|
|
|
|
.docs-content code {
|
|
font-family: 'VCR OSD Mono', monospace;
|
|
}
|
|
|
|
.docs-content p code,
|
|
.docs-content li code,
|
|
.docs-content td code {
|
|
background: var(--surface);
|
|
padding: 0.1rem 0.3rem;
|
|
font-size: 0.9em;
|
|
}
|
|
|
|
.docs-content table {
|
|
border-collapse: collapse;
|
|
margin: 1rem 0;
|
|
width: 100%;
|
|
table-layout: auto;
|
|
overflow-x: auto;
|
|
display: block;
|
|
}
|
|
|
|
.docs-content th,
|
|
.docs-content td {
|
|
padding: 0.25rem 0.75rem;
|
|
text-align: left;
|
|
}
|
|
|
|
.docs-content th {
|
|
color: var(--text);
|
|
}
|
|
|
|
.docs-content td:first-child {
|
|
color: var(--text-muted);
|
|
}
|
|
|
|
.docs-content tr:nth-child(even) {
|
|
background: var(--surface);
|
|
}
|
|
|
|
.docs-content ul,
|
|
.docs-content ol {
|
|
padding-left: 1.5rem;
|
|
margin: 0.5rem 0;
|
|
}
|
|
|
|
.docs-content ul {
|
|
list-style-type: "- ";
|
|
}
|
|
|
|
.docs-content ol {
|
|
list-style-type: decimal;
|
|
}
|
|
|
|
.docs-content ul ul {
|
|
list-style-type: none;
|
|
border-left: 1px solid var(--text-muted);
|
|
padding-left: 1rem;
|
|
margin: 0.15rem 0;
|
|
}
|
|
|
|
.docs-content li {
|
|
margin: 0.3rem 0;
|
|
line-height: 1.5;
|
|
text-align: left;
|
|
}
|
|
|
|
.docs-content ul ul li {
|
|
color: var(--text-dim);
|
|
margin: 0.15rem 0;
|
|
}
|
|
|
|
.docs-content a {
|
|
color: var(--text-dim);
|
|
}
|
|
|
|
.docs-content strong {
|
|
color: var(--text);
|
|
}
|
|
|
|
.docs-content em {
|
|
font-style: italic;
|
|
color: var(--text-dim);
|
|
}
|
|
|
|
.docs-content del {
|
|
opacity: 0.5;
|
|
}
|
|
|
|
.docs-content blockquote {
|
|
border-left: 2px solid var(--text-muted);
|
|
padding: 0.25rem 1rem;
|
|
margin: 1rem 0;
|
|
color: var(--text-dim);
|
|
}
|
|
|
|
.docs-content blockquote p {
|
|
margin: 0.25rem 0;
|
|
}
|
|
|
|
.docs-content hr {
|
|
border: none;
|
|
border-top: 1px solid var(--text-muted);
|
|
margin: 1.5rem 0;
|
|
}
|
|
|
|
.docs-topbar {
|
|
display: flex;
|
|
align-items: center;
|
|
gap: 1.5rem;
|
|
margin-bottom: 1rem;
|
|
}
|
|
|
|
.docs-back {
|
|
font-family: 'VCR OSD Mono', monospace;
|
|
font-size: 0.85rem;
|
|
color: var(--text-muted);
|
|
text-decoration: none;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.docs-back:hover {
|
|
color: var(--text);
|
|
}
|
|
|
|
.docs-notice {
|
|
display: flex;
|
|
align-items: center;
|
|
gap: 1rem;
|
|
font-size: 0.8rem;
|
|
color: var(--text-dim);
|
|
}
|
|
|
|
.docs-notice.hidden {
|
|
display: none;
|
|
}
|
|
|
|
.docs-notice button {
|
|
font-family: 'VCR OSD Mono', monospace;
|
|
font-size: 0.75rem;
|
|
background: none;
|
|
border: 1px solid var(--text-muted);
|
|
color: var(--text);
|
|
padding: 0.15rem 0.5rem;
|
|
cursor: pointer;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.docs-notice button:hover {
|
|
border-color: var(--text);
|
|
}
|
|
|
|
/* Forth syntax highlighting — monochrome via weight/opacity */
|
|
.f-emit { font-weight: bold; }
|
|
.f-com { opacity: 0.5; font-style: italic; }
|
|
.f-num { opacity: 0.6; }
|
|
.f-note { font-weight: bold; }
|
|
.f-snd { text-decoration: underline; }
|
|
.f-par { opacity: 0.6; font-style: italic; }
|
|
.f-stack { opacity: 0.6; }
|
|
.f-prob { opacity: 0.6; }
|
|
.f-ctx { opacity: 0.5; }
|
|
.f-var { opacity: 0.6; }
|
|
|
|
@media (max-width: 768px) {
|
|
body:has(.docs-layout) {
|
|
height: auto;
|
|
overflow: visible;
|
|
}
|
|
|
|
.docs-layout {
|
|
flex-direction: column;
|
|
height: auto;
|
|
}
|
|
|
|
.docs-sidebar {
|
|
width: 100%;
|
|
overflow-y: visible;
|
|
border-bottom: 1px solid var(--text-muted);
|
|
padding-bottom: 1rem;
|
|
margin-bottom: 1rem;
|
|
}
|
|
|
|
.docs-content {
|
|
overflow-y: visible;
|
|
}
|
|
}
|