TS Blog Theme

/*! * 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 */

/* 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; }