88 lines
1.4 KiB
CSS
88 lines
1.4 KiB
CSS
body {
|
|
margin: auto;
|
|
padding-right: 1em;
|
|
padding-left: 1em;
|
|
max-width: 60em;
|
|
/* border-left: 1px solid black;
|
|
border-right: 1px solid black; */
|
|
color: black;
|
|
line-height: 140%;
|
|
color: #000;
|
|
font-family: sans-serif;
|
|
}
|
|
pre {
|
|
border: 1px dotted gray;
|
|
background-color: #ececec;
|
|
color: #111;
|
|
padding: 0.5em;
|
|
}
|
|
code {
|
|
font-family: monospace;
|
|
}
|
|
h1 a, h2 a, h3 a, h4 a, h5 a {
|
|
text-decoration: none;
|
|
color: #000;
|
|
}
|
|
h1, h2, h3, h4, h5 {
|
|
color: #000;
|
|
}
|
|
h1 {
|
|
padding-top: 1em;
|
|
margin-top: 2em;
|
|
border-top: 1px dotted black;
|
|
font-size: 200%;
|
|
}
|
|
|
|
h2 {
|
|
/* border-bottom: 1px dotted black; */
|
|
font-size: 150%;
|
|
padding-top: 1em;
|
|
}
|
|
|
|
h3 {
|
|
font-size: 120%;
|
|
}
|
|
|
|
h4 {
|
|
font-size: 90%;
|
|
font-style: italic;
|
|
}
|
|
|
|
h5 {
|
|
font-size: 90%;
|
|
font-style: italic;
|
|
}
|
|
|
|
h1.title {
|
|
font-size: 200%;
|
|
font-weight: bold;
|
|
padding-top: 0.2em;
|
|
padding-bottom: 0.2em;
|
|
text-align: left;
|
|
border: none;
|
|
}
|
|
|
|
dt code {
|
|
font-weight: bold;
|
|
}
|
|
dd p {
|
|
margin-top: 0;
|
|
}
|
|
|
|
#footer {
|
|
padding-top: 1em;
|
|
font-size: 70%;
|
|
color: gray;
|
|
text-align: center;
|
|
}
|
|
div.figure {
|
|
padding-top: 1em;
|
|
padding-bottom: 1em;
|
|
border: 1px solid black;
|
|
text-align: center;
|
|
}
|
|
p.caption {
|
|
font-size: 80%;
|
|
font-style: italic;
|
|
}
|