vincentdoerig/latex-css
1
1
Fork 0
mirror of https://github.com/vincentdoerig/latex-css.git synced 2024-08-16 00:00:43 +03:00
Code Issues Projects Releases Wiki Activity

Format, add sa script

Browse Source
This commit is contained in:
Vincent Dörig 2020-05-23 13:23:00 +02:00
parent 7ab984b0ef
commit 9e2453bd83
3 changed files with 31 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
elements.html
View File

@ -509,6 +509,9 @@
</section> </section>
</main> </main>
</div> </div>
<script async defer src="https://scripts.simpleanalyticscdn.com/latest.js"></script>
<noscript><img src="https://queue.simpleanalyticscdn.com/noscript.gif" alt=""></noscript>
</body> </body>
</html> </html>

2
index.html
View File

@ -187,6 +187,8 @@
} }
}; };
</script> </script>
<script async defer src="https://scripts.simpleanalyticscdn.com/latest.js"></script>
<noscript><img src="https://queue.simpleanalyticscdn.com/noscript.gif" alt=""></noscript>
</body> </body>
</html> </html>

53
style.css
View File

@ -1,41 +1,41 @@
@font-face { @font-face {
font-family: "Latin Modern"; font-family: 'Latin Modern';
font-style: normal; font-style: normal;
font-weight: normal; font-weight: normal;
font-display: swap; font-display: swap;
src: url("./fonts/LM-regular.woff2") format("woff2"), src: url('./fonts/LM-regular.woff2') format('woff2'),
url("./fonts/LM-regular.woff") format("woff"), url('./fonts/LM-regular.woff') format('woff'),
url("./fonts/LM-regular.ttf") format("truetype"); url('./fonts/LM-regular.ttf') format('truetype');
} }
@font-face { @font-face {
font-family: "Latin Modern"; font-family: 'Latin Modern';
font-style: italic; font-style: italic;
font-weight: normal; font-weight: normal;
font-display: swap; font-display: swap;
src: url("./fonts/LM-italic.woff2") format("woff2"), src: url('./fonts/LM-italic.woff2') format('woff2'),
url("./fonts/LM-italic.woff") format("woff"), url('./fonts/LM-italic.woff') format('woff'),
url("./fonts/LM-italic.ttf") format("truetype"); url('./fonts/LM-italic.ttf') format('truetype');
} }
@font-face { @font-face {
font-family: "Latin Modern"; font-family: 'Latin Modern';
font-style: normal; font-style: normal;
font-weight: bold; font-weight: bold;
font-display: swap; font-display: swap;
src: url("./fonts/LM-bold.woff2") format("woff2"), src: url('./fonts/LM-bold.woff2') format('woff2'),
url("./fonts/LM-bold.woff") format("woff"), url('./fonts/LM-bold.woff') format('woff'),
url("./fonts/LM-bold.ttf") format("truetype"); url('./fonts/LM-bold.ttf') format('truetype');
} }
@font-face { @font-face {
font-family: "Latin Modern"; font-family: 'Latin Modern';
font-style: italic; font-style: italic;
font-weight: bold; font-weight: bold;
font-display: swap; font-display: swap;
src: url("./fonts/LM-bold-italic.woff2") format("woff2"), src: url('./fonts/LM-bold-italic.woff2') format('woff2'),
url("./fonts/LM-bold-italic.woff") format("woff"), url('./fonts/LM-bold-italic.woff') format('woff'),
url("./fonts/LM-bold-italic.ttf") format("truetype"); url('./fonts/LM-bold-italic.ttf') format('truetype');
} }
/* Box sizing rules */ /* Box sizing rules */
@ -69,8 +69,7 @@ html {
} }
body { body {
font-family: "Latin Modern", Georgia, Cambria, "Times New Roman", Times, font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif;
serif;
line-height: 1.8; line-height: 1.8;
max-width: 80ch; max-width: 80ch;
@ -123,7 +122,7 @@ select {
} }
/* Prevent textarea from overflowing */ /* Prevent textarea from overflowing */
textarea{ textarea {
width: 100%; width: 100%;
} }
@ -136,7 +135,7 @@ article > * + * {
code, code,
pre, pre,
kbd { kbd {
font-family: Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New',
monospace; monospace;
font-size: 85%; font-size: 85%;
} }
@ -196,7 +195,7 @@ nav li {
display: block; display: block;
} }
nav li:before { nav li:before {
content: counters(item, ".") " "; content: counters(item, '.') ' ';
counter-increment: item; counter-increment: item;
padding-right: 0.85rem; padding-right: 0.85rem;
} }
@ -214,7 +213,7 @@ dl dd {
font-style: italic; font-style: italic;
} }
.theorem::before { .theorem::before {
content: "Theorem " counter(theorem) ". "; content: 'Theorem ' counter(theorem) '. ';
font-weight: bold; font-weight: bold;
font-style: normal; font-style: normal;
} }
@ -227,7 +226,7 @@ dl dd {
font-style: italic; font-style: italic;
} }
.lemma::before { .lemma::before {
content: "Lemma " counter(theorem) ". "; content: 'Lemma ' counter(theorem) '. ';
font-weight: bold; font-weight: bold;
font-style: normal; font-style: normal;
} }
@ -240,11 +239,11 @@ dl dd {
position: relative; position: relative;
} }
.proof::before { .proof::before {
content: "Proof. " attr(title); content: 'Proof. ' attr(title);
font-style: italic; font-style: italic;
} }
.proof:after { .proof:after {
content: "◾️"; content: '◾️';
position: absolute; position: absolute;
right: -12px; right: -12px;
bottom: -2px; bottom: -2px;
@ -258,14 +257,14 @@ dl dd {
font-style: normal; font-style: normal;
} }
.definition::before { .definition::before {
content: "Definition " counter(definition) ". "; content: 'Definition ' counter(definition) '. ';
font-weight: bold; font-weight: bold;
font-style: normal; font-style: normal;
} }
/* Center align author name, use small caps and add vertical spacing */ /* Center align author name, use small caps and add vertical spacing */
.author { .author {
margin: .85rem 0; margin: 0.85rem 0;
font-variant-caps: small-caps; font-variant-caps: small-caps;
text-align: center; text-align: center;
} }