body {
    margin-left: 10%;
    background-color: white;
	width: 800px;
}

h2 {
    font-size: 150%;
    margin: 2em 0 1em 0;
}

h3 {
    font-size: 130%;
    margin: 2em 0 1em 0;
}

h2.section {
    border-bottom: gray thin solid;
	border: thin solid gray;
	background-color: skyblue;
}

h3.subsection {
}

h3.subsubsection {
}

p, ul, ol, li, pre {
    line-height: 150%;
}

.display {
    margin: 0 1em 0 1em;
    padding: 1em 1em 1em 1em;
    background-color: #CCCCFF;
}

blockquote {
    margin: 0 1em 0 1em;
    padding: 1em 1em 1em 1em;
    background-color: #CCCCFF;
}

address {
    font-style: normal; /* italic */
}

em {
    font-weight: bold;
    font-style: normal; /* italic */
}

strong {
    font-weight: bold;
    font-style: normal; /* italic */
	color: red;
}

code, var, kbd {
    font-weight: bold;
    font-style: normal; /* italic */
    /* color: #993333; */
}

dt {
    margin: 1em 0 0 0;
    font-weight: bold;
    line-height: 120%;
}

dl, dd {
    line-height: 120%;
}

.filename {
    font-style: normal; /* italic */
    font-weight: bold;
}

.title {
    margin: 2em 0 1em 0;
    font-size: 200%;
    text-align: center;
}

.subtitle {
    margin: 1em 0 0.5em 0;
    font-size: 150%;
    text-align: center;
}

.author {
    margin-top: 1em 0 0.5em 0;
    font-size: 120%;
    text-align: center;
}

.footer {
    border-top: gray thin solid;
    margin: 5em 0 0 0;
    padding: 1em 0 0 0;
}