#container{
    margin-bottom: 5%;
    margin-left: 5%;
    margin-right: 5%;
    margin-top: 5%;
    height: 100%;

}

#left{
    width: 200px;
    float: left;
    height: 100%;
}

#right{
    width: 200px;
    float: right;
    height: 100%;
}

#middle{
    margin-left:220px; 
    margin-right:220px; 
    height:100%; 
}
/* Textbox für mod_quelltext.php */
#inhalt
{
	width:100%;
	height:80%;
}
body {
	font-family: Verdana, Georgia, Garamond, Arial;
	font-size: 12px;
}
p {
	font-family: Verdana, Georgia, Garamond, Arial;
	font-size: 12px;
}
.durchgehender_rahmen
{
	border: 1px solid #000000;
}

.textbox_courier
{
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
}