java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css
branchv_0
changeset 238 4a1864c3e867
parent 237 7e08730da258
child 239 39e6c2ad3571
     1.1 --- a/java/sql-dk/data/info/globalcode/sql/dk/formatter/XhtmlFormatter.css	Mon Mar 04 17:06:42 2019 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,54 +0,0 @@
     1.4 -body {
     1.5 -	font-family: sans-serif;
     1.6 -	font-size: 16px;
     1.7 -	padding-left: 16px;
     1.8 -	padding-right: 16px;
     1.9 -}
    1.10 -
    1.11 -pre {
    1.12 -	background-color: #ddd;
    1.13 -	padding: 6px;
    1.14 -	border-radius: 4px;
    1.15 -	overflow: auto;
    1.16 -
    1.17 -	-moz-tab-size: 4;
    1.18 -	-o-tab-size: 4;
    1.19 -	tab-size: 4;
    1.20 -}
    1.21 -
    1.22 -table {
    1.23 -	border-collapse:collapse;
    1.24 -	box-shadow: 3px 3px 3px grey;
    1.25 -	margin-top: 10px;
    1.26 -	margin-bottom: 20px;
    1.27 -}
    1.28 -td, th {
    1.29 -	border: 1px solid black;
    1.30 -	padding-top: 4px;
    1.31 -	padding-bottom: 4px;
    1.32 -	padding-left: 6px;
    1.33 -	padding-right: 6px;
    1.34 -	font-weight: normal;
    1.35 -}
    1.36 -td.number {
    1.37 -	text-align: right;
    1.38 -}
    1.39 -td.boolean {
    1.40 -	text-align: right;
    1.41 -}
    1.42 -thead tr {
    1.43 -	background: #ddd;
    1.44 -	color:black;
    1.45 -}
    1.46 -tbody tr:hover {
    1.47 -	background-color: #eee;
    1.48 -	color:black;
    1.49 -}
    1.50 -
    1.51 -table ul {
    1.52 -	margin: 0px;
    1.53 -}
    1.54 -
    1.55 -table li {
    1.56 -	padding-right: 10px;
    1.57 -}