126 lines
2.5 KiB
CSS
126 lines
2.5 KiB
CSS
:root {
|
|
--verso-structure-font-family: "Helvetica Neue","Segoe UI",Arial,sans-serif;
|
|
--verso-text-font-family: Source Serif, Georgia,Times,"Times New Roman",serif;
|
|
--verso-code-font-family: Source Code Pro, monospace;
|
|
}
|
|
|
|
p {
|
|
font-feature-settings: "calt" off;
|
|
}
|
|
|
|
section > p, section > ul, section > ol {
|
|
margin-top: 1rem;
|
|
margin-bottom: 1rem;
|
|
}
|
|
|
|
div.paragraph > p:not(:first-child),
|
|
div.paragraph > ul:not(:first-child),
|
|
div.paragraph > ol:not(:first-child),
|
|
div.paragraph > dl:not(:first-child) {
|
|
margin-top: 0.5rem;
|
|
}
|
|
|
|
div.paragraph > p:not(:last-child),
|
|
div.paragraph > ul:not(:last-child),
|
|
div.paragraph > ol:not(:last-child),
|
|
div.paragraph > dl:not(:last-child) {
|
|
margin-bottom: 0.5rem;
|
|
}
|
|
|
|
/*
|
|
Don't impose margins on lists or list items from their contents.
|
|
*/
|
|
li > :first-child {
|
|
margin-top: 0;
|
|
}
|
|
li > :last-child {
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
li:not(:first-child) {
|
|
margin-top: 0.5rem;
|
|
}
|
|
li:not(:last-child) {
|
|
margin-bottom: 0.5rem;
|
|
}
|
|
|
|
/* Lean-Code in dezenten grauen Kästen, wie auf verso.lean-lang.org */
|
|
.hl.lean.block {
|
|
display: block;
|
|
margin-top: 1em;
|
|
margin-bottom: 1em;
|
|
padding: 0.75em 1em;
|
|
background-color: #f6f7f8;
|
|
border: 1px solid #e1e4e8;
|
|
border-radius: 0.4em;
|
|
overflow-x: auto;
|
|
}
|
|
|
|
/* Skript-Zitate (Sätze, Definitionen, Beweise) in umrandeten Kästen */
|
|
blockquote {
|
|
margin: 1.25em 0;
|
|
padding: 0.75em 1em;
|
|
border: 1px solid var(--lean-accent-light-blue);
|
|
border-left: 0.25em solid var(--lean-blue);
|
|
border-radius: 0.25em;
|
|
background-color: #f5f9fb;
|
|
}
|
|
|
|
blockquote > :first-child {
|
|
margin-top: 0;
|
|
}
|
|
|
|
blockquote > :last-child {
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
/** TODO - make these themeable with variables ***/
|
|
.hl.lean .keyword.token {
|
|
font-weight: 600 !important;
|
|
}
|
|
|
|
figure {
|
|
padding: 0;
|
|
margin: 1em 0;
|
|
}
|
|
|
|
figure img {
|
|
width: 100%;
|
|
max-height: 75vh; /* No scrolling! */
|
|
}
|
|
|
|
|
|
figcaption {
|
|
font-family: var(--verso-structure-font-family);
|
|
text-align: center;
|
|
}
|
|
|
|
.error pre, .information pre, .warning pre,
|
|
.error code, .information code, .warning code {
|
|
overflow-x: auto;
|
|
margin: 0px;
|
|
}
|
|
|
|
.information pre, .error pre, .warning pre,
|
|
.information code, .error code, .warning code {
|
|
margin: 0.5em .85em;
|
|
border-left: 0.2em solid red;
|
|
padding: 0 0.45em;
|
|
}
|
|
|
|
/* Different color for warning */
|
|
.warning pre, .warning code {
|
|
border-color: #efd871;
|
|
}
|
|
|
|
/* Different color for information */
|
|
.information pre, .information code {
|
|
border-color: #0000c0;
|
|
}
|
|
|
|
/* TODO: fix upstream */
|
|
.hl.lean code {
|
|
font-family: var(--verso-code-font-family) !important;
|
|
}
|
|
|