pre { font-family: monospace;}

			
			#search {
				-webkit-border-radius: 10px;
				background-color: white;
				padding: 10px;
				position: fixed;
				display: none;
			}
			
			
			#body {
				
			}
			    #resultTable{
	background-color: white;
	-webkit-border-radius: 10px;
	width: 100%;
	padding: 10px;
	font-size: .9em;
				}
											th.sortable {
												color: #666;
												cursor: pointer;
												text-decoration: underline;
											}
											th.sortable:hover { color: black; }
											th.sorted-asc, th.sorted-desc  { color: black; }

											td {
												background-color: white;
											}
											td.odd {
	background-color: #CCC;
	color: #000;
											}
											
											td.hovered {
											  background-color: lightblue;
											  color: #666;
											}