body 
{
	background-image: url('./img/back.jpg');
	
	color: Gray;
	text-decoration: none;
	text-align: left;
	font-family: Times New Roman;
}

h1 
{
	color: #9F0000;
	font-family: Arial, Verdana;
	font-size: x-large;
	text-align: center;	
	margin-bottom: 2px;
	margin-top: 15px;
}

h2 
{
	color: #9F0000;
	font-family: Arial, Verdana;
	font-size: larger;
	text-align: left;
	margin-bottom: 2px;
}

a 
{
	color: White;
	font-family: Arial, Verdana;
	font-size: 10pt;
}

ul 
{
	font-style: italic;
}

.mainDiv 
{
	background: black;
	border-width: 1px;
	border-color: #9F0000;
	border-style: solid;
	
	width: 70%;
	vertical-align: middle;
	margin: auto;

	text-align: left;
}

.navi 
{
	background: gray;
	border-width: 1px;
	border-color: white;
	border-style: dotted;
	text-align: center;
	
	width: 70%;
	vertical-align: middle;
	margin: auto;

	color: White;
}

.subtitle 
{
	color: #9F0000;
	font-family: Arial, Verdana;
	font-size: 10pt;
	text-align: center;
}

.textbody 
{
	margin: 20px;
}

.codestyle 
{
	background-color: Gray;
	border-color: White;
	border-style: dashed;
	border-width: 1px;
	
	margin: auto;
	width: 50%;
	text-align: center;
	color: Black;
	font-family: Courier;
	font-size: 10pt;
}

.marked 
{
	color: #9F0000;
	font-family: Arial, Verdana;
	font-size: 10pt;
	font-weight: bold;
}