java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css
branchv_0
changeset 135 ef432015fdee
child 137 3a24be5d8dac
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css	Sat Jan 04 23:27:17 2014 +0100
@@ -0,0 +1,42 @@
+body {
+	font-family: sans-serif;
+	font-size: 16px;
+	padding-left: 16px;
+}
+
+pre {
+	background-color: #ddd;
+	padding: 6px;
+	border-radius: 4px;
+	overflow: auto;
+
+	-moz-tab-size: 4;
+	-o-tab-size: 4;
+	tab-size: 4;
+}
+
+table {
+	border-collapse:collapse;
+	box-shadow: 3px 3px 3px grey;
+	margin-top: 10px;
+	margin-bottom: 20px;
+}
+td, th {
+	border: 1px solid black;
+	padding-top: 4px;
+	padding-bottom: 4px;
+	padding-left: 6px;
+	padding-right: 6px;
+	font-weight: normal;
+}
+td.number {
+	text-align: right;
+}
+thead tr {
+	background: #ddd;
+	color:black;
+}
+tbody tr:hover {
+	background-color: #eee;
+	color:black;
+}
\ No newline at end of file