95c29f3cd1
Initial fork from f2d678e6e89b6508147086610e985d4e8416e867 (1.0.2 beta). (This change contains substantial changes from the original and effectively starts a new history.)
68 lines
870 B
CSS
68 lines
870 B
CSS
#main {
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
max-width: 55em;
|
|
text-align: justify;
|
|
}
|
|
|
|
h2 {
|
|
font-family: monospace;
|
|
margin-bottom: 2em;
|
|
background-color: #b2c9db;
|
|
padding: 7px;
|
|
border-radius: 7px;
|
|
}
|
|
|
|
ol {
|
|
list-style: none;
|
|
margin-bottom: 4em;
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
.section pre {
|
|
background-color: #b2c9db;
|
|
padding: 5px;
|
|
border-radius: 5px;
|
|
}
|
|
|
|
td {
|
|
padding: 2px;
|
|
}
|
|
|
|
tr:nth-child(even) {
|
|
background-color: #eee;
|
|
}
|
|
|
|
tr.header td {
|
|
font-weight: bold;
|
|
padding-top: 1em;
|
|
padding-bottom: 0.5em;
|
|
}
|