annotate onto/doc/style.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 div.specterm {
Chris@0 2 padding: 0 0 10px 20px;
Chris@0 3 border: 1px solid black;
Chris@0 4 }
Chris@0 5
Chris@0 6 body {
Chris@0 7 padding: 0 25px 50px 50px;
Chris@0 8 background-color: #E7F5F2;
Chris@0 9 }
Chris@0 10
Chris@0 11 h1 {
Chris@0 12 font-size: 3em;
Chris@0 13 }
Chris@0 14
Chris@0 15 h2 {
Chris@0 16 font-size: 2em;
Chris@0 17 padding-top: 1.5em;
Chris@0 18 }
Chris@0 19
Chris@0 20 h3 {
Chris@0 21 font-size: 1.5em;
Chris@0 22 }
Chris@0 23
Chris@0 24 p.copyright {
Chris@0 25 font-size: small;
Chris@0 26 }
Chris@0 27
Chris@0 28 div.page {
Chris@0 29 min-width: 750px;
Chris@0 30 width: 90%;
Chris@0 31 padding: 30px 20px 30px 20px;
Chris@0 32 margin-top: 5px;
Chris@0 33 float: center;
Chris@0 34 background-color: white;
Chris@0 35 }
Chris@0 36
Chris@0 37 div.glance {
Chris@0 38 padding: 5px;
Chris@0 39 border: dotted;
Chris@0 40 background-color: #C6D3D0;"
Chris@0 41
Chris@0 42 }