franta-hg@135: body {
franta-hg@135: 	font-family: sans-serif;
franta-hg@135: 	font-size: 16px;
franta-hg@135: 	padding-left: 16px;
franta-hg@135: }
franta-hg@135: 
franta-hg@135: pre {
franta-hg@135: 	background-color: #ddd;
franta-hg@135: 	padding: 6px;
franta-hg@135: 	border-radius: 4px;
franta-hg@135: 	overflow: auto;
franta-hg@135: 
franta-hg@135: 	-moz-tab-size: 4;
franta-hg@135: 	-o-tab-size: 4;
franta-hg@135: 	tab-size: 4;
franta-hg@135: }
franta-hg@135: 
franta-hg@135: table {
franta-hg@135: 	border-collapse:collapse;
franta-hg@135: 	box-shadow: 3px 3px 3px grey;
franta-hg@135: 	margin-top: 10px;
franta-hg@135: 	margin-bottom: 20px;
franta-hg@135: }
franta-hg@135: td, th {
franta-hg@135: 	border: 1px solid black;
franta-hg@135: 	padding-top: 4px;
franta-hg@135: 	padding-bottom: 4px;
franta-hg@135: 	padding-left: 6px;
franta-hg@135: 	padding-right: 6px;
franta-hg@135: 	font-weight: normal;
franta-hg@135: }
franta-hg@135: td.number {
franta-hg@135: 	text-align: right;
franta-hg@135: }
franta-hg@137: td.boolean {
franta-hg@137: 	text-align: right;
franta-hg@137: }
franta-hg@135: thead tr {
franta-hg@135: 	background: #ddd;
franta-hg@135: 	color:black;
franta-hg@135: }
franta-hg@135: tbody tr:hover {
franta-hg@135: 	background-color: #eee;
franta-hg@135: 	color:black;
franta-hg@135: }