mirror of
https://github.com/fmap/muflax65ngodyewp.onion
synced 2024-06-29 10:36:48 +02:00
285 lines
6.9 KiB
CSS
285 lines
6.9 KiB
CSS
body {
|
|
background: #ffffcc;
|
|
color: #222;
|
|
font-size: 1em;
|
|
font-weight: normal;
|
|
font-family: serif;
|
|
line-height: 1.3;
|
|
text-align: justify;
|
|
}
|
|
|
|
div.main {
|
|
margin-top: 3.5em;
|
|
margin-bottom: 3.5em;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
max-width: 45em;
|
|
padding: 0;
|
|
}
|
|
|
|
/* toc */
|
|
div.markdown-toc {
|
|
border-top: 10px solid #7D9B3E;
|
|
border-bottom: 10px solid #7D9B3E;
|
|
}
|
|
|
|
|
|
div.crumb {
|
|
background: #562D6F;
|
|
color: #d9d9d9;
|
|
left: 0;
|
|
line-height: 2em;
|
|
position: fixed;
|
|
text-align: center;
|
|
bottom: 0;
|
|
width: 100%;
|
|
}
|
|
|
|
div.title {
|
|
background: #562D6F;
|
|
color: #d9d9d9;
|
|
width: 100%;
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0;
|
|
line-height: 1.3;
|
|
text-align: center;
|
|
}
|
|
|
|
a:link.title, a:hover.title, a:visited.title, a:active.title {
|
|
font-size: 1.7em;
|
|
color: #d9d9d9;
|
|
}
|
|
|
|
/* don't underline titles */
|
|
a:link.title, a:visited.title, a:active.title {
|
|
text-decoration: none;
|
|
}
|
|
|
|
div.footnotes {
|
|
border-top: 10px solid #7D9B3E;
|
|
}
|
|
|
|
sup {
|
|
margin-left: 0.2em;
|
|
/* font-size: 1em; */
|
|
}
|
|
|
|
a:link.crumb, a:hover.crumb, a:visited.crumb, a:active.crumb {
|
|
color: #d9d9d9;
|
|
font-size: 1.3em;
|
|
font-weight: bold;
|
|
}
|
|
|
|
a:hover {
|
|
background: #057dff;
|
|
color: #fff;
|
|
}
|
|
|
|
/* epistemic states should stand out from normal links */
|
|
a.episteme {
|
|
color: #057dff;
|
|
}
|
|
|
|
a.episteme:hover {
|
|
background: #7D9B3E;
|
|
color: black;
|
|
}
|
|
|
|
/* episteme header */
|
|
div.episteme {
|
|
background: #c4f3af;
|
|
line-height: 2em;
|
|
}
|
|
|
|
/* move paragraphs a bit closer to the center, with list exceptions */
|
|
p {
|
|
margin-left: 1em;
|
|
margin-right: 1em;
|
|
}
|
|
|
|
ul p {
|
|
margin-left: 0;
|
|
}
|
|
|
|
ol p {
|
|
margin-left: 0;
|
|
}
|
|
|
|
/* category items */
|
|
.align_left {
|
|
text-align: left;
|
|
}
|
|
|
|
.align_right {
|
|
float: right;
|
|
text-align: right;
|
|
}
|
|
|
|
ul.table .align_right {
|
|
margin-right: 1em;
|
|
}
|
|
|
|
ul.table li {
|
|
margin-left: -1em;
|
|
}
|
|
|
|
/* general lists */
|
|
li {
|
|
padding-left: 0;
|
|
}
|
|
|
|
ol {
|
|
margin-left: 2em;
|
|
margin-top: 0;
|
|
margin-bottom: 0;
|
|
padding-left: 1em;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: square;
|
|
margin-left: 2em;
|
|
margin-top: 0;
|
|
margin-bottom: 0;
|
|
padding-left: 1em;
|
|
}
|
|
|
|
em {
|
|
color: #562D6F;
|
|
font-style: italic;
|
|
}
|
|
|
|
strong {
|
|
color: green;
|
|
font-weight: bold;
|
|
}
|
|
|
|
img {
|
|
display: block;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
max-width: 100%;
|
|
}
|
|
|
|
div.figure {
|
|
text-align: center;
|
|
}
|
|
|
|
h1 {
|
|
background: #7D9B3E;
|
|
color: #000000;
|
|
font-size: 2em;
|
|
line-height: 1.3;
|
|
text-align: center;
|
|
}
|
|
|
|
h1 a:link, h1 a:visited, h1 a:active {
|
|
color: #000;
|
|
}
|
|
|
|
h2 {
|
|
background: #AAd398;
|
|
color: #000000;
|
|
font-size: 1.3em;
|
|
font-weight:normal;
|
|
line-height: 1.3;
|
|
margin-left: 0.2em;
|
|
margin-right: 0.2em;
|
|
padding-left: 0.5em;
|
|
}
|
|
|
|
h3, h4, h5, h6 {
|
|
background: #AAd398;
|
|
color: #000000;
|
|
margin-left: 0.2em;
|
|
margin-right: 0.2em;
|
|
padding-left: 0.5em;
|
|
font-weight:normal;
|
|
}
|
|
|
|
blockquote {
|
|
border-left: 10px solid #A6A542;
|
|
border-right: 10px solid #A6A542;
|
|
margin-left: 1em;
|
|
margin-right: 1em;
|
|
padding-left: 0;
|
|
}
|
|
|
|
/* fix indentation if blockquote is already indented */
|
|
li blockquote {
|
|
padding-left: 1em;
|
|
margin-right: 2em;
|
|
}
|
|
|
|
pre {
|
|
background: #FFF8D9;
|
|
border: 1px dashed green;
|
|
font-family: monospace !important;
|
|
line-height: 1.3em;
|
|
overflow: auto;
|
|
padding: 0.5em 1em;
|
|
}
|
|
|
|
/* pygments code highlighting */
|
|
pre span.hll { background-color: #ffffcc }
|
|
pre span.c { color: #408080; font-style: italic } /* Comment */
|
|
pre span.err { border: 1px solid #FF0000 } /* Error */
|
|
pre span.k { color: #008000; font-weight: bold } /* Keyword */
|
|
pre span.o { color: #666666 } /* Operator */
|
|
pre span.cm { color: #408080; font-style: italic } /* Comment.Multiline */
|
|
pre span.cp { color: #BC7A00 } /* Comment.Preproc */
|
|
pre span.c1 { color: #408080; font-style: italic } /* Comment.Single */
|
|
pre span.cs { color: #408080; font-style: italic } /* Comment.Special */
|
|
pre span.gd { color: #A00000 } /* Generic.Deleted */
|
|
pre span.ge { font-style: italic } /* Generic.Emph */
|
|
pre span.gr { color: #FF0000 } /* Generic.Error */
|
|
pre span.gh { color: #000080; font-weight: bold } /* Generic.Heading */
|
|
pre span.gi { color: #00A000 } /* Generic.Inserted */
|
|
pre span.go { color: #808080 } /* Generic.Output */
|
|
pre span.gp { color: #000080; font-weight: bold } /* Generic.Prompt */
|
|
pre span.gs { font-weight: bold } /* Generic.Strong */
|
|
pre span.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
|
|
pre span.gt { color: #0040D0 } /* Generic.Traceback */
|
|
pre span.kc { color: #008000; font-weight: bold } /* Keyword.Constant */
|
|
pre span.kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
|
|
pre span.kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
|
|
pre span.kp { color: #008000 } /* Keyword.Pseudo */
|
|
pre span.kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
|
|
pre span.kt { color: #B00040 } /* Keyword.Type */
|
|
pre span.m { color: #666666 } /* Literal.Number */
|
|
pre span.s { color: #BA2121 } /* Literal.String */
|
|
pre span.na { color: #7D9029 } /* Name.Attribute */
|
|
pre span.nb { color: #008000 } /* Name.Builtin */
|
|
pre span.nc { color: #0000FF; font-weight: bold } /* Name.Class */
|
|
pre span.no { color: #880000 } /* Name.Constant */
|
|
pre span.nd { color: #AA22FF } /* Name.Decorator */
|
|
pre span.ni { color: #999999; font-weight: bold } /* Name.Entity */
|
|
pre span.ne { color: #D2413A; font-weight: bold } /* Name.Exception */
|
|
pre span.nf { color: #0000FF } /* Name.Function */
|
|
pre span.nl { color: #A0A000 } /* Name.Label */
|
|
pre span.nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
|
|
pre span.nt { color: #008000; font-weight: bold } /* Name.Tag */
|
|
pre span.nv { color: #19177C } /* Name.Variable */
|
|
pre span.ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
|
|
pre span.w { color: #bbbbbb } /* Text.Whitespace */
|
|
pre span.mf { color: #666666 } /* Literal.Number.Float */
|
|
pre span.mh { color: #666666 } /* Literal.Number.Hex */
|
|
pre span.mi { color: #666666 } /* Literal.Number.Integer */
|
|
pre span.mo { color: #666666 } /* Literal.Number.Oct */
|
|
pre span.sb { color: #BA2121 } /* Literal.String.Backtick */
|
|
pre span.sc { color: #BA2121 } /* Literal.String.Char */
|
|
pre span.sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
|
|
pre span.s2 { color: #BA2121 } /* Literal.String.Double */
|
|
pre span.se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
|
|
pre span.sh { color: #BA2121 } /* Literal.String.Heredoc */
|
|
pre span.si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
|
|
pre span.sx { color: #008000 } /* Literal.String.Other */
|
|
pre span.sr { color: #BB6688 } /* Literal.String.Regex */
|
|
pre span.s1 { color: #BA2121 } /* Literal.String.Single */
|
|
pre span.ss { color: #19177C } /* Literal.String.Symbol */
|
|
pre span.bp { color: #008000 } /* Name.Builtin.Pseudo */
|
|
pre span.vc { color: #19177C } /* Name.Variable.Class */
|
|
pre span.vg { color: #19177C } /* Name.Variable.Global */
|
|
pre span.vi { color: #19177C } /* Name.Variable.Instance */
|
|
pre span.il { color: #666666 } /* Literal.Number.Integer.Long */
|