html{
	height: 100%;
}

body{
	background: #E0E0E0;
	font-family: courier,monospace;
	text-align:center;
	height:95%;
	margin: 0px;
}

h1 img{
	vertical-align: middle;
	height: 1in;
}

.top{
	height: 15%;
}

.columns{
	height: 82%;
	overflow: hidden;
}

.left, .right{
	width: 49%;
}

.left{
	float: left;
	overflow:auto;
	height: 100%;
}

.right{
	float: right;
	overflow: auto;
	height: 100%;
}

.bottom{
	clear: both;
}

.nocenter{
	text-align:left;
	margin-left:5%;
}
input[type=text]{
	font-weight: bold;
	width: 80%;
	font-size: 14pt;
	font-family: courier,monospace;
}
#extrabuttons{
	padding: 10px;
}
#restitle{
	font-weight: bold;
	padding: 10px;
}
.results{
	text-align: left;
	border: 1px dashed gray;
	padding: 8px;
	margin-left:10%;
	margin-right:10%;
	font-weight: bold;
}

.filter{
	border: 1px dashed gray;
	padding: 8px;
	margin-left:10%;
	margin-right:10%;
}

p{
	line-height: 1.3;
}

.EB, #EB{
	color: #0715CD;
}
.TG, #TG{
	color: #E00707;
}
.GG, #GG{
	color: #4AC925;
}
.TT, #TT{
	color: #B536DA;
}

.AA, #AA{
color: rgb(161, 0, 0);
}
.AT, #AT{
color: rgb(161, 80, 0);
}
.TA, #TA{
color: rgb(161, 161, 0);
}
.CG, #CG{
color: rgb(98, 98, 98);
}
.GA, #GA{
color: rgb(0, 129, 65);
}
.AC, #AC{
color: rgb(65, 102, 0);
}
.GC, #GC{
color: rgb(0, 130, 130);
}
.AG, #AG{
color: rgb(0, 86, 130);
}
.CT, #CT{
color: rgb(0, 0, 86);
}
.TC, #TC{
color: rgb(43, 0, 87);
}
.CA, #CA{
color: rgb(106, 0, 106);
}
.CC, #CC{
color: rgb(119, 0, 60);
}
.save{
font-weight: bold;
margin-left: 25%;
background: white;
text-align: left;
}
.copyright{
font-size: 8pt;
text-align: center;
position:relative;
bottom:0px;
height:20px;
padding-top:10px;
}