body {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	background-color: white;
}

a {
	color: #555580;
}


a:hover {
	color: #CC00CC;
	text-decoration: underline
}

hr{
	height: 1px;
	margin-left : 40px;

}

img {
	border : 0px none;
}

ul {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	margin-left : 100px;
}

ol {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	margin-left : 100px;
}

li {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
}

p {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	color : black;
	margin-left :80px;
	margin-right : 40px;
	line-height: 1.5;
}

h1
{
	font-family: sans-serif, Verdana, Geneva, Arial, Helvetica;
	min-height: 44px;
	min-width: 44px;
	font-size: 44px;	
	padding: 10px;
	font-weight : bold;
	color : black;
	text-align : center;
	width : 100%;
	border-top-width : 1px;
	border-bottom-width : 1px;
	border : 1px solid Black;
	border-left-width : 0px;
	border-right-width : 0px;
	padding : 10px;
	margin-left : 40px;
}

h1 a {
    min-height: 44px;
    min-width: 44px;
    font-size: 44px;
}

h2
{
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	font-size : 44px;
	padding: 10px;
	font-weight : bold;
	color : white;
	padding : 8px;
	width : 90%;
	background-color : black;
	border : 1px solid White;
	margin-left : 40px;
	margin-top : 30px;
}

h2 a {
    min-height: 44px;
    color : white;    
    background-color : black;    
}

h3,h4,h5,h6
{
    font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
    font-size : 24px;
    line-height: 44px;
    height: 44px;
    color : black;
    margin-left : 60px;
    background-color: white;
}

h3 a {
    display: inline-block;
    min-height: 44px;
    padding: 10px;
    line-height: 44px;
}


th {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	background-color : #CCCCFF;
}

td {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
}

.command {
	font-family : monospace, "Courier New", Courier ;
	font-weight: bold;
	font-size : medium;
	color: #B30000;
	margin-left : 100px;

}

.stdout{
	font-family : monospace, "Courier New", Courier ;
	font-weight: bold;
	font-size : medium;
	color: Navy;
	margin-left : 100px;
}

code {
	font-family : monospace, "Courier New", Courier ;
	font-weight: bold;
	color: #B30000;
	font-size : medium;
}

samp {
	font-family : monospace, "Courier New", Courier ;
	font-weight: bold;
	color: Black;
	font-size : medium;
}

.hint {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	border : 1px solid Black;
	padding : 8px;
	width : 70%;
	background-color : #CCFFFF;
	color : black;
	margin-left : 100px;
}

.sourcecode {
	font-family : monospace, "Courier New", Courier ;
	border : 1px solid Black;
	padding : 10px;
	width : 70%;
	background-color : #FFFFCC;
	color : black;
	margin-left : 100px;
}

.warning {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	font-weight : bold;
	color : white;
	background-color : #B30000;
	border : 1px solid Black;
	padding : 8px;
	width : 70%;
	margin-left : 100px;
}

.date {
	font-family : sans-serif, Verdana, Geneva, Arial, Helvetica;
	font-size: smaller;
	color: White;
	background-color: Black;
	text-align: right;
	padding: 3px;
	border : 1px solid White;
	width : 100%;
	margin-left : 0px;
	margin-right : 0px;
}

.date a {
    color: #FFFFCC;
}


.navbar {
	text-align : center;
	text-decoration : none;
	border : 0px none;
	color : white;
}