blob: 05d90bec6b1ccaee02a06b5ed3a5daff9c5c7db0 [file] [log] [blame]
#main {
margin-left: auto;
margin-right: auto;
max-width: 55em;
text-align: justify;
}
h2 {
font-family: monospace;
background-color: #b2c9db;
padding: 7px;
border-radius: 7px;
}
div.title {
margin-bottom: 2em;
}
ol.toc {
list-style: none;
padding-left: 0;
margin-bottom: 4em;
}
ol.toc li a {
color: black;
}
li.header {
margin-top: 1em;
margin-bottom: 0.3em;
font-weight: bold;
}
div.decl p:first-child {
margin-top: 2.5em;
}
div.decl p:first-child .first-word {
font-weight: bold;
font-family: monospace;
}
.sectionpreamble {
margin-top: 5em;
}
.sectionpreamble p:first-child {
font-weight: bold;
font-size: 1.5em;
}
pre.code {
background-color: #b2c9db;
padding: 5px;
border-radius: 5px;
}
p.warning {
background-color: #fef5d3;
padding: 5px;
border-radius: 5px;
}
p.warning .first-word {
font-weight: bold;
}
.comment pre {
margin-left: 2em;
}
td {
padding: 2px;
}
tr:nth-child(even) {
background-color: #eee;
}
tr.header td {
font-weight: bold;
padding-top: 1em;
padding-bottom: 0.5em;
}