86 lines
1.0 KiB
CSS
86 lines
1.0 KiB
CSS
body {
|
|
font-family: sans-serif;
|
|
background: white;
|
|
margin: 2em 1em 2em 1em;
|
|
}
|
|
|
|
h1, h2, h3 {
|
|
font-weight: bold;
|
|
color: #005aa0;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 180%;
|
|
}
|
|
|
|
h2 {
|
|
font-size: 130%;
|
|
margin-top: 1em;
|
|
}
|
|
|
|
h3 {
|
|
font-size: 100%;
|
|
}
|
|
|
|
table {
|
|
empty-cells: show;
|
|
border-collapse: collapse;
|
|
border-spacing: 0px;
|
|
}
|
|
|
|
tr.odd {
|
|
background: #f4f4ff;
|
|
}
|
|
|
|
th {
|
|
text-align: center;
|
|
font-weight: bold;
|
|
background: #ffffc0;
|
|
}
|
|
|
|
td, th {
|
|
padding: 2px 5px;
|
|
border: solid black 1px;
|
|
}
|
|
|
|
td {
|
|
vertical-align: top;
|
|
}
|
|
|
|
td.centered {
|
|
text-align: center;
|
|
}
|
|
|
|
a {
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:hover, a:visited:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
a:link { color: #0048b3; }
|
|
a:visited { color: #002a6a; }
|
|
a.no-hover:hover { background: none; }
|
|
|
|
img {
|
|
border-style: none;
|
|
}
|
|
|
|
li {
|
|
margin-top: 0.5em;
|
|
margin-bottom: 0.5em;
|
|
}
|
|
|
|
pre {
|
|
margin-left: 1.5em;
|
|
margin-right: 1.5em;
|
|
}
|
|
|
|
pre.code {
|
|
border: 1px solid #6185a0;
|
|
padding: 6px 6px;
|
|
color: #600000;
|
|
background: #f4f4f8;
|
|
}
|