BODY {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	color: #000000;
    background: #FFFFFF;
}

A {
    font-weight: bold;
    text-decoration: none;
    color: #000946;
}

H1 {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
    color: #5B69A6;
    font-size: 200%;
    font-weight: bold;
}

H2 {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
    color: #3B4986;
    font-size: 160%;
    font-weight: bold;
}

H3 {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
    color: #1B2966;
    font-size: 120%;
    font-weight: bold;
}

H4 {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
    color: #000946;
    font-size: 100%;
    font-weight: bold;
}

H5 {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
    color: #5B69A6;
    font-size: 80%;
    font-weight: bold;
}

.navbar {
	background: ;
}

.programlisting {
    margin-left: 15px;
    font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 200%;
}

.warning {
    background: #FF7C7C;
}

.author,.editor {
    font-size: 10pt;
    font-weight: normal;
}

.normal {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	font-size: 100%;
	color: #000000;
}

.large {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	font-size: 120%;
	color: #000000;
}

.huge {
    font-family: tahoma, verdana, arial, helvetica, sans-serif;
	font-size: 200%;
	color: #000000;
}

.example {
    font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 90%;
	background: #F0F0F0;
	padding: 0px;
	margin: 5px;
}

.shell {
    font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 100%;
	background: #000000;
	color: #ffffff;
	padding: 0px;
	margin: 5px;
}

.codeInline {
	font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 120%;
	font-weight: bold;
	color: #000000;
}

.exclass {
    font-family: "courier new", courier, monospace, "monotype.com";
    font-weight: bold;
	background: #F0F0F0;
	font-size: 90%;
}

.output {
    font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 100%;
	background: #FFCCCC;
	color: #000000;
	padding: 0px;
}

.loutput {
    font-family: "monotype.com", "courier new", courier, monospace;
	font-size: 75%;
	background: #FFCCCC;
	color: #000000;
	padding: 0px;
}

.lexample {
    font-family: "courier new", courier, monospace, "monotype.com";
	font-size: 90%;
    font-weight: bold;
	background: #F0F0F0;
	padding: 0px;
	margin: 5px;
}

.lexclass {
    font-family: "courier new", courier, monospace, "monotype.com";
	background: #F0F0F0;
	font-size: 90%;
    font-weight: bold;
}