annotate tutorial/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 body { background: white; color: black; font-family: sans-serif; line-height: 1.4em; padding: 2.5em 3em; margin: 0; }
Chris@0 2
Chris@0 3 :link { color: #00c; }
Chris@0 4
Chris@0 5 :visited { color: #609; }
Chris@0 6
Chris@0 7 a:link img { border: none; }
Chris@0 8
Chris@0 9 a:visited img { border: none; }
Chris@0 10
Chris@0 11 h1, h2, h3 { background: white; color: #800; }
Chris@0 12
Chris@0 13 h1 { font: 170% sans-serif; margin: 0; }
Chris@0 14
Chris@0 15 h2 { font: 140% sans-serif; margin: 1.5em 0 -0.5em 0; }
Chris@0 16
Chris@0 17 h3 { font: 120% sans-serif; margin: 1.5em 0 -0.5em 0; }
Chris@0 18
Chris@0 19 h4 { font: bold 100% sans-serif; }
Chris@0 20
Chris@0 21 h5 { font: italic 100% sans-serif; }
Chris@0 22
Chris@0 23 h6 { font: small-caps 100% sans-serif; }
Chris@0 24
Chris@0 25 .hide { display: none; }
Chris@0 26
Chris@0 27 pre { background: #fff6bb; font-family: monospace; line-height: 1.2em; padding: 1em 2em; }
Chris@0 28
Chris@0 29 dt { font-weight: bold; margin-top: 0; margin-bottom: 0; }
Chris@0 30
Chris@0 31 dd { margin-top: 0; margin-bottom: 0; }
Chris@0 32
Chris@0 33 code, tt { font-family: monospace; }
Chris@0 34
Chris@0 35 ul.toc { list-style-type: none; }
Chris@0 36
Chris@0 37 ol.toc li a { text-decoration: none; }
Chris@0 38
Chris@0 39 .note { color: red; }
Chris@0 40
Chris@0 41 #header { border-bottom: 1px solid #ccc; }
Chris@0 42
Chris@0 43 #logo { float: right; }
Chris@0 44
Chris@0 45 #authors { clear: right; float: right; font-size: 80%; text-align: right; }
Chris@0 46
Chris@0 47 #content { clear: both; margin: 2em auto 0 0; text-align: justify }
Chris@0 48
Chris@0 49 #download { font-family: sans-serif; margin-bottom: 1em; text-align: center; }
Chris@0 50
Chris@0 51 #download h2 { font-size: 125%; margin: 1.5em 0 -0.2em 0; }
Chris@0 52
Chris@0 53 #download small { color: #888; font-size: 80%; }
Chris@0 54
Chris@0 55 #footer { border-top: 1px solid #ccc; color: #aaa; margin: 2em 0 0; }
Chris@0 56
Chris@0 57
Chris@0 58
Chris@0 59 @media Print {
Chris@0 60
Chris@0 61 * { font-size: 92%; }
Chris@0 62
Chris@0 63 body { padding: 0; line-height: 1.2em; }
Chris@0 64
Chris@0 65 #content { margin: 0; width: 100%; }
Chris@0 66
Chris@0 67 }
Chris@0 68
Chris@0 69 @media Aural {
Chris@0 70
Chris@0 71 h1 { stress: 20; richness: 90; }
Chris@0 72
Chris@0 73 h2 { stress: 20; richness: 90; }
Chris@0 74
Chris@0 75 h3 { stress: 20; richness: 90; }
Chris@0 76
Chris@0 77 .hide { speak: none; }
Chris@0 78
Chris@0 79 dt { pause-before: 20%; }
Chris@0 80
Chris@0 81 pre { speak-punctuation: code; }
Chris@0 82
Chris@0 83 }
Chris@0 84
Chris@0 85 .Stil2 {color: #000000}