body {
    color: black;
    background-color: white;
}

h1 {
    font-size: x-large;
    font-weight: bold;
}

h2 {
    font-size: large;
    font-weight: bold;
    border-width: 0px 0px 2px 0px;
    border-style: solid;
    border-color: #cccccc;
    padding: 0.2em;
}

h3 {
    font-size: medium;
    font-weight: bold;
    border-width: 0px 0px 1px 0px;
    border-style: solid;
    border-color: #cccccc;
    padding: 0.2em;
}

pre {
	border-top: 5px solid #8899ff;
	border-bottom: 5px solid #8899ff;
	background-color: #6677ff;
	color: #fff;
	margin-left: 2em;
	padding: 8px;
}

p.last-modified {
    text-align: right;
}