54 lines
730 B
CSS
54 lines
730 B
CSS
body {
|
|
color: black;
|
|
background-color: #fdfdfd;
|
|
font-family: serif;
|
|
max-width: 40em;
|
|
}
|
|
h1, h2, h3 {
|
|
font-family: sans-serif;
|
|
font-weight: bold;
|
|
}
|
|
h1 {
|
|
padding: 0.5em 0 0.5em 5%;
|
|
color: white;
|
|
background: #3366cc;
|
|
border-bottom: solid 1px black;
|
|
}
|
|
h1 {
|
|
font-size: 200%;
|
|
}
|
|
h2 {
|
|
font-size: 150%;
|
|
}
|
|
h3 {
|
|
font-size: 120%;
|
|
}
|
|
h4 {
|
|
font-weight: bold;
|
|
}
|
|
pre.example {
|
|
margin-left: 2em;
|
|
padding: 1em 0em;
|
|
border: 2px dashed #c0c0c0;
|
|
background: #f0f0f0;
|
|
}
|
|
a:link {
|
|
color: blue;
|
|
text-decoration: none;
|
|
}
|
|
a:visited {
|
|
color: red;
|
|
text-decoration: none
|
|
}
|
|
a:hover {
|
|
text-decoration: underline
|
|
}
|
|
span.literal {
|
|
font-family: monospace;
|
|
}
|
|
hr {
|
|
border-style: none;
|
|
background-color: black;
|
|
height: 1px;
|
|
}
|