.header
{
	margin: 1%;
}
.code
{
float: left;
width: 27%;
border: 1px solid black;
margin: 0.5%;
padding:1%;
overflow: auto;
overflow-y:auto;
font-family: "Monospace font handling in Firefox is braindead", monospace;
font:100% monospace;*font-size:85%;
}
.code i.c8 {color: #FF0000; }
.code span.c7 {color: #800000;}
.code span.c6 {color: #008000;}
.code span.c5 {color: #000000;}
.code span.c4 {color: #000000;}
.code b.c2 {color: #0000FF;}
.code span.c1 {color: #008000;}

.ce
{
float: left;
height: 100%;
width: 66%;
border: 1px solid black;
margin: 0.5%;
padding:1%;
overflow: scroll;
}
#bug, #bugce, #bugt
{
	display:;
}
#fix, #fixce, #fixt
{
	display: none;
}