h1.hptitle {
	font-family:serif,monospace;
	font-size:400%;
	background-color:#e5e8f7;
	color: #000000;
}

a:link {
	text-decoration: none;
	color: #7c89ea;
}

a:visited {
	background-color: transparent;
	color: #666699;
	text-decoration: none;
}

a:hover {
	color: #666699;
}

body {
    margin-left: 5%;
	background-color: #ffffff;
	color: #000000;
}

h2 {
    font-size: 180%;
    margin: 2em 0 1em 0;
	color: #000000;
}

h3 {
    font-size: 120%;
    margin: 2em 0 1em 0;
	color: #000000;
}

h2.section {
	color: #000000;
    border-top-style :double;
    border-top-color :#CCCCCC;
    border-bottom-style :double;
    border-bottom-color :#CCCCCC;
    background-color: #e5e8f7;
}

h3.subsection {
	color: #000000;
    border-top-style :double;
    border-top-color :#CCCCFF;
    border-bottom-style :double;
    border-bottom-color :#CCCCFF;
    background-color: #e5e8f7;
}

h3.subsubsection {
	color: #000000;
    font-size: 100%;
    border-top-style :double;
    border-top-color :#CCDFFF;
    border-bottom-style :double;
    border-bottom-color :#CCDFFF;
    background-color: #e5e8f7;
}

dt {
     text-decoration :underline;
     text-underline-position :below;
}

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

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

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

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; */
}

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

.title {
    margin: 1em 0 1em 0;
    font-size: 250%;
    text-align: right;
    padding-right: 4px;
    border-color: Teal;
    border-bottom-style: solid;
    border-bottom-width: 1px;
    border-right-style: solid;
    border-right-width: 4px;
	color: #000000;
}

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

.book {
    margin: 0.5em 0 0.5em 0;
    font-size: 130%;
    text-align: left;
}

.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;
}