body
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
}

a
{
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	color: #666666;
}
a#source
{
	color: #000033;
	text-decoration: none;
	font-size: 12px;
}
a#exe
{
	color: #990000;
	text-decoration: none;
	font-size: 12px
}
a#intern
{
	font-size: 12px;
}
a#footer
{
	font-size: 10px;
}

h1
{
	font-size: 36px;
	text-decoration: underline;
}
h2
{
	font-size: 24px;
	text-decoration: underline;
}
h3
{
	font-size: 18px;
}

.abstand{
	padding-left: 30px;
}

.quelle{
	border-width: 1px;
	border-style: dashed;
	
	padding: 10px;
	margin-right: 10px;
	
	font-size: 14px;
}

.code{
	border-width: 1px;
	border-style: dotted;
	border-color: #000033;
	
	padding: 5px;
	font-size: 12px;
}

.exe{
	border-width: 1px;
	border-style: solid;
	border-color: #990000;
	
	padding: 5px;
	font-size: 12px;
}

.footer{
	font-size: 10px;
}