annotate virt/statics/style_w.css @ 19:1e79ce3ff5f5 tip

Simplify and cut some non-working resource paths
author Chris Cannam
date Wed, 08 Nov 2017 15:27:23 +0000
parents 1e44d666ced1
children
rev   line source
Chris@0 1 html { margin: 0; padding: 0; }
Chris@0 2 body {
Chris@0 3 font-family: gill sans, sans-serif;
Chris@0 4 font-size: 80%;
Chris@0 5 margin: 0;
Chris@0 6 padding: 1.2em 2em}
Chris@0 7
Chris@0 8 #rdficon {
Chris@0 9 float: right;
Chris@0 10 position: relative;
Chris@0 11 top: -28px;
Chris@0 12 vertical-align: middle;
Chris@0 13 padding: 3px;
Chris@0 14 border: 1px solid #fff}
Chris@0 15
Chris@0 16 #header {
Chris@0 17 width: 100%;
Chris@0 18 float: left;
Chris@0 19 clear: left;
Chris@0 20 border-bottom: 2px solid #696;
Chris@0 21 margin: 0 0 1.2em;
Chris@0 22 padding: 0 0 0.3em; }
Chris@0 23
Chris@0 24 #hd_l { width: 80%; float: left;}
Chris@0 25 #hd_r {float: right; clear: right;}
Chris@0 26
Chris@0 27 #footer { border-top: 2px solid #696; color: #666; margin: 1.2em 0 0; padding: 0.3em 0 0; }
Chris@0 28
Chris@0 29 #homelink { display: inline; }
Chris@0 30 #homelink, #homelink a { color: #666; }
Chris@0 31 #homelink a { font-weight: bold; text-decoration: none; }
Chris@0 32 #homelink a:hover { color: red; text-decoration: underline; }
Chris@0 33
Chris@0 34 h1 { display: inline; font-weight: bold; font-size: 200%; margin: 0; text-align: left; }
Chris@0 35 h2 { font-weight: normal; font-size: 124%; margin: 1.2em 0 0.2em; }
Chris@0 36
Chris@0 37 .page-resource-uri { font-size: 124%; margin: 0.2em 0; font-style: italic; }
Chris@0 38 .page-resource-uri a { color: black; text-decoration: none; }
Chris@0 39 .page-resource-uri a:hover { color: red; text-decoration: underline; }
Chris@0 40 .page-resource-uri label { font-size: smaller; font-style: normal; font-weight: bold}
Chris@0 41
Chris@0 42 a.sparql-uri { color: black; text-decoration: none; }
Chris@0 43 a.sparql-uri:hover { color: red; text-decoration: underline; }
Chris@0 44
Chris@0 45 img { border: none; }
Chris@0 46
Chris@0 47 table.description { border-collapse: collapse; clear: left; font-size: 100%; margin: 0 0 1em; width: 100%; }
Chris@0 48 table.description th { text-align: left; }
Chris@0 49 table.description td, table.description th { line-height: 1.2em; padding: 0.2em 0.4em; vertical-align: top; }
Chris@0 50 table.description ul { margin: 0; padding-left: 0em; }
Chris@0 51 table.description li { list-style-type: square; }
Chris@0 52 .uri { white-space: nowrap; }
Chris@0 53 .uri a, a.uri { text-decoration: none; }
Chris@0 54 a.uri:hover { text-decoration: underline }
Chris@0 55 .unbound { color: #888; }
Chris@0 56 table.description a small { font-size: 100% }
Chris@0 57 table.description small { font-size: 100%; }
Chris@0 58 table.description .property { white-space: nowrap; }
Chris@0 59 h1, h2 { color: #224; }
Chris@0 60 table.description .odd td { }
Chris@0 61 table.description .even td { }
Chris@0 62 .image { background: white; float: left; margin: 0 1.5em 1.5em 0; padding: 2px; }
Chris@0 63 a.expander { text-decoration: none; }
Chris@0 64 a.rdf_source { text-decoration: none; color: #666;}
Chris@0 65 a.rdf_source img { vertical-align: middle;margin-right: 5px;}
Chris@0 66 #rdficon:hover { background-color: #eef; border: 1px solid #666;}
Chris@0 67
Chris@0 68 #content {width: 100%; float: left; clear: left;}
Chris@0 69
Chris@0 70 #footer {
Chris@0 71 width: 100%;
Chris@0 72 float: left;
Chris@0 73 clear: left;
Chris@0 74 border-top: 2px solid #696;
Chris@0 75 margin: 1.2em 0 0;
Chris@0 76 padding: 0.3em;
Chris@0 77 background-color: #fff;}
Chris@0 78
Chris@0 79 #ft_r { float: right; clear: right;}
Chris@0 80 #ft_t { text-align: center; margin-top: 2ex}
Chris@0 81 #ft_b { text-align: center; margin-top: 0.7ex }