forked from github/kensanata.oddmuse
426 lines
7.1 KiB
CSS
426 lines
7.1 KiB
CSS
/*!
|
||
* LaTeX.css (https://latex.now.sh/)
|
||
*
|
||
* Source: https://github.com/vincentdoerig/latex-css
|
||
* Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
|
||
*/
|
||
|
||
@font-face {
|
||
font-family: 'Latin Modern';
|
||
font-style: normal;
|
||
font-weight: normal;
|
||
font-display: swap;
|
||
src: url('/style/fonts/LM-regular.woff2') format('woff2'),
|
||
url('/style/fonts/LM-regular.woff') format('woff'),
|
||
url('/style/fonts/LM-regular.ttf') format('truetype');
|
||
}
|
||
|
||
@font-face {
|
||
font-family: 'Latin Modern';
|
||
font-style: italic;
|
||
font-weight: normal;
|
||
font-display: swap;
|
||
src: url('/style/fonts/LM-italic.woff2') format('woff2'),
|
||
url('/style/fonts/LM-italic.woff') format('woff'),
|
||
url('/style/fonts/LM-italic.ttf') format('truetype');
|
||
}
|
||
|
||
@font-face {
|
||
font-family: 'Latin Modern';
|
||
font-style: normal;
|
||
font-weight: bold;
|
||
font-display: swap;
|
||
src: url('/style/fonts/LM-bold.woff2') format('woff2'),
|
||
url('/style/fonts/LM-bold.woff') format('woff'),
|
||
url('/style/fonts/LM-bold.ttf') format('truetype');
|
||
}
|
||
|
||
@font-face {
|
||
font-family: 'Latin Modern';
|
||
font-style: italic;
|
||
font-weight: bold;
|
||
font-display: swap;
|
||
src: url('/style/fonts/LM-bold-italic.woff2') format('woff2'),
|
||
url('/style/fonts/LM-bold-italic.woff') format('woff'),
|
||
url('/style/fonts/LM-bold-italic.ttf') format('truetype');
|
||
}
|
||
|
||
/* Box sizing rules */
|
||
*,
|
||
*::before,
|
||
*::after {
|
||
box-sizing: border-box;
|
||
}
|
||
|
||
/* Remove default margin */
|
||
body,
|
||
h1,
|
||
h2,
|
||
h3,
|
||
h4,
|
||
p,
|
||
ul[class],
|
||
ol[class],
|
||
li,
|
||
figure,
|
||
figcaption,
|
||
dl,
|
||
dd {
|
||
margin: 0;
|
||
}
|
||
|
||
/* Make default font-size 1rem and add smooth scrolling to anchors */
|
||
html {
|
||
font-size: 1.4rem;
|
||
scroll-behavior: smooth;
|
||
}
|
||
|
||
body {
|
||
font-family: 'Latin Modern', Georgia, Cambria, 'DejaVu Serif', 'Times New Roman', Times, serif;
|
||
line-height: 1.4;
|
||
max-width: 80ch;
|
||
min-height: 100vh;
|
||
overflow-x: hidden;
|
||
margin: 0 auto;
|
||
padding: 2rem 1.25rem;
|
||
|
||
counter-reset: theorem;
|
||
counter-reset: definition;
|
||
|
||
color: hsl(0, 5%, 10%);
|
||
background-color: hsl(210, 20%, 98%);
|
||
|
||
text-rendering: optimizeLegibility;
|
||
}
|
||
|
||
/* Justify and hyphenate all paragraphs */
|
||
p {
|
||
text-align: justify;
|
||
hyphens: auto;
|
||
-webkit-hyphens: auto;
|
||
-moz-hyphens: auto;
|
||
margin-top: 1rem;
|
||
}
|
||
|
||
/* A elements that don't have a class get default styles */
|
||
a:not([class]) {
|
||
text-decoration-skip-ink: auto;
|
||
}
|
||
|
||
/* Make links red */
|
||
a {
|
||
text-decoration: none;
|
||
color: #a00;
|
||
}
|
||
a:visited {
|
||
text-decoration: none;
|
||
color: #800;
|
||
}
|
||
|
||
a:focus {
|
||
outline-offset: 2px;
|
||
outline: 2px solid hsl(220, 90%, 52%);
|
||
}
|
||
|
||
|
||
/* Ueberschriften mit Links nur dezent einfärben */
|
||
h1 a, h1 a:visited,
|
||
h2 a, h2 a:visited,
|
||
h3 a, h3 a:visited,
|
||
h4 a, h4 a:visited,
|
||
h5 a, h5 a:visited,
|
||
h6 a, h6 a:visited {
|
||
color: #555;
|
||
}
|
||
|
||
/* goto bar */
|
||
div.menu form.search {
|
||
font-size:75%;
|
||
margin-top:2em;
|
||
margin-bottom:3em;
|
||
}
|
||
|
||
div.menu span.gotobar a.local,
|
||
div.menu span.gotobar a.local:visited {
|
||
text-decoration: none;
|
||
color: #1e133c87;
|
||
margin-right:1.1em;
|
||
font-weight: bold;
|
||
}
|
||
|
||
/* Make images easier to work with */
|
||
img {
|
||
max-width: 100%;
|
||
display: block;
|
||
}
|
||
|
||
/* Inherit fonts for inputs and buttons */
|
||
input,
|
||
button,
|
||
textarea,
|
||
select {
|
||
font: inherit;
|
||
}
|
||
|
||
/* Prevent textarea from overflowing */
|
||
textarea {
|
||
width: 100%;
|
||
}
|
||
|
||
/* Natural flow and rhythm in articles by default */
|
||
article > * + * {
|
||
margin-top: 1em;
|
||
}
|
||
|
||
/* Styles for inline code or code snippets */
|
||
code,
|
||
pre,
|
||
kbd {
|
||
font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New',
|
||
monospace;
|
||
font-size: 85%;
|
||
}
|
||
pre {
|
||
padding: 1rem 1.4rem;
|
||
max-width: 100%;
|
||
overflow: auto;
|
||
border-radius: 4px;
|
||
background: hsl(210, 28%, 93%);
|
||
}
|
||
pre code {
|
||
font-size: 95%;
|
||
position: relative;
|
||
}
|
||
kbd {
|
||
background: hsl(210, 5%, 100%);
|
||
border: 1px solid hsl(210, 5%, 70%);
|
||
border-radius: 2px;
|
||
padding: 2px 4px;
|
||
font-size: 75%;
|
||
}
|
||
|
||
/* Make table 100% width, add borders between rows */
|
||
table {
|
||
border-collapse: collapse;
|
||
border-spacing: 0;
|
||
width: 100%;
|
||
max-width: 100%;
|
||
}
|
||
th,
|
||
td {
|
||
text-align: left;
|
||
padding: 0.5rem;
|
||
}
|
||
td {
|
||
border-bottom: 1px solid hsl(0, 0%, 85%);
|
||
}
|
||
thead th {
|
||
border-bottom: 2px solid hsl(0, 0%, 70%);
|
||
}
|
||
tfoot th {
|
||
border-top: 2px solid hsl(0, 0%, 70%);
|
||
}
|
||
|
||
/* Center align the title */
|
||
h1:first-child {
|
||
text-align: center;
|
||
}
|
||
|
||
/* Nested ordered list for ToC */
|
||
nav ol {
|
||
counter-reset: item;
|
||
padding-left: 2rem;
|
||
}
|
||
nav li {
|
||
display: block;
|
||
}
|
||
nav li:before {
|
||
content: counters(item, '.') ' ';
|
||
counter-increment: item;
|
||
padding-right: 0.85rem;
|
||
}
|
||
|
||
/* Center definitions (most useful for display equations) */
|
||
dl dd {
|
||
text-align: center;
|
||
}
|
||
|
||
/* Theorem */
|
||
.theorem {
|
||
counter-increment: theorem;
|
||
display: block;
|
||
margin: 12px 0;
|
||
font-style: italic;
|
||
}
|
||
.theorem::before {
|
||
content: 'Satz ' counter(theorem) '. ';
|
||
font-weight: bold;
|
||
font-style: normal;
|
||
}
|
||
|
||
/* Lemma */
|
||
.lemma {
|
||
counter-increment: theorem;
|
||
display: block;
|
||
margin: 12px 0;
|
||
font-style: italic;
|
||
}
|
||
.lemma::before {
|
||
content: 'Lemma ' counter(theorem) '. ';
|
||
font-weight: bold;
|
||
font-style: normal;
|
||
}
|
||
|
||
/* Proof */
|
||
.proof {
|
||
display: block;
|
||
margin: 12px 0;
|
||
font-style: normal;
|
||
position: relative;
|
||
}
|
||
.proof::before {
|
||
content: 'Beweis. ' attr(title);
|
||
font-style: italic;
|
||
}
|
||
.proof:after {
|
||
content: '◾️';
|
||
position: absolute;
|
||
right: -12px;
|
||
bottom: -2px;
|
||
}
|
||
|
||
/* Definition */
|
||
.definition {
|
||
counter-increment: definition;
|
||
display: block;
|
||
margin: 12px 0;
|
||
font-style: normal;
|
||
}
|
||
.definition::before {
|
||
content: 'Definition ' counter(definition) '. ';
|
||
font-weight: bold;
|
||
font-style: normal;
|
||
}
|
||
|
||
/* Center align author name, use small caps and add vertical spacing */
|
||
.author {
|
||
margin: 0.85rem 0;
|
||
font-variant-caps: small-caps;
|
||
text-align: center;
|
||
}
|
||
|
||
/* Make footnote text smaller and left align it (looks bad with long URLs) */
|
||
.footnotes p {
|
||
text-align: left;
|
||
line-height: 1.5;
|
||
font-size: 85%;
|
||
margin-bottom: 0.4rem;
|
||
}
|
||
.footnotes {
|
||
border-top: 1px solid hsl(0, 0%, 39%);
|
||
}
|
||
|
||
/* Center title and paragraph */
|
||
.abstract,
|
||
.abstract p {
|
||
text-align: center;
|
||
}
|
||
.abstract {
|
||
margin: 2.25rem 0;
|
||
}
|
||
|
||
/* Format the LaTeX symbol correctly (a higher up, e lower) */
|
||
.latex span:nth-child(1) {
|
||
text-transform: uppercase;
|
||
font-size: 0.75em;
|
||
vertical-align: 0.28em;
|
||
margin-left: -0.48em;
|
||
margin-right: -0.15em;
|
||
line-height: 1ex;
|
||
}
|
||
|
||
.latex span:nth-child(2) {
|
||
text-transform: uppercase;
|
||
vertical-align: -0.5ex;
|
||
margin-left: -0.1667em;
|
||
margin-right: -0.125em;
|
||
line-height: 1ex;
|
||
}
|
||
|
||
/* Heading typography */
|
||
h1 {
|
||
font-size: 2.5rem;
|
||
line-height: 3.25rem;
|
||
margin-bottom: 1.625rem;
|
||
}
|
||
|
||
h2 {
|
||
font-size: 1.7rem;
|
||
line-height: 2rem;
|
||
margin-top: 3rem;
|
||
}
|
||
|
||
h3 {
|
||
font-size: 1.4rem;
|
||
margin-top: 2.5rem;
|
||
}
|
||
|
||
h4 {
|
||
font-size: 1.2rem;
|
||
margin-top: 2rem;
|
||
}
|
||
|
||
h5 {
|
||
font-size: 1rem;
|
||
margin-top: 1.8rem;
|
||
}
|
||
|
||
h6 {
|
||
font-size: 1rem;
|
||
font-style: italic;
|
||
font-weight: normal;
|
||
margin-top: 2.5rem;
|
||
}
|
||
|
||
h3,
|
||
h4,
|
||
h5,
|
||
h6 {
|
||
line-height: 1.625rem;
|
||
}
|
||
|
||
h1 + h2 {
|
||
margin-top: 1.625rem;
|
||
}
|
||
|
||
h2 + h3,
|
||
h3 + h4,
|
||
h4 + h5 {
|
||
margin-top: 0.8rem;
|
||
}
|
||
|
||
h5 + h6 {
|
||
margin-top: -0.8rem;
|
||
}
|
||
|
||
h2,
|
||
h3,
|
||
h4,
|
||
h5,
|
||
h6 {
|
||
margin-bottom: 0.8rem;
|
||
}
|
||
|
||
div.diff div.old {
|
||
background-color: #FFFFAF;
|
||
}
|
||
|
||
div.diff div.new {
|
||
background-color: #CFFFCF;
|
||
}
|
||
|
||
div.content blockquote {
|
||
font-style: italic;
|
||
}
|
||
|