annotate help/help.css @ 600:641ccce7c771

Avoid messing with font size when zooming, let it zoom naturally; don't delete detail item when removing it, just let it wait to be shown again (and do delete it when deleting main item)
author Chris Cannam
date Fri, 11 May 2012 17:44:33 +0100
parents 41a156d439d0
children
rev   line source
Chris@494 1
Chris@494 2 body {
Chris@494 3 background: #fdfaf0;
Chris@494 4 color: #3e442c;
Chris@494 5 margin: 0;
Chris@494 6 padding: 0;
Chris@494 7 margin-bottom: 40px;
Chris@494 8 font-family: sans-serif;
Chris@494 9 }
Chris@494 10
Chris@494 11 h1, h2, h3, h4 {
Chris@494 12 margin-left: 10px;
Chris@494 13 margin-bottom: 0.4em;
Chris@494 14 }
Chris@494 15
Chris@494 16 h2 {
Chris@494 17 font-size: 1.3em;
Chris@494 18 margin-top: 0;
Chris@494 19 }
Chris@494 20
Chris@494 21 h3 {
Chris@494 22 font-size: 1.2em;
Chris@494 23 }
Chris@494 24
Chris@494 25 h4 {
Chris@494 26 font-size: 1.1em;
Chris@494 27 }
Chris@494 28
Chris@494 29 ol, ul, ol li, ul li {
Chris@494 30 margin-left: 0;
Chris@494 31 color: #808080;
Chris@494 32 font-style: italic;
Chris@494 33 }
Chris@494 34
Chris@494 35 p, pre {
Chris@494 36 margin-left: 20px;
Chris@494 37 margin-bottom: 0.5em;
Chris@494 38 margin-right: 10px;
Chris@494 39 margin-top: 0;
Chris@494 40 }
Chris@494 41
Chris@494 42 blockquote {
Chris@494 43 margin-left: 70px;
Chris@494 44 }
Chris@494 45
Chris@494 46 table {
Chris@494 47 padding-top: 0;
Chris@494 48 }
Chris@494 49
Chris@494 50 a {
Chris@494 51 color: #be5700;
Chris@494 52 text-decoration: none;
Chris@494 53 }
Chris@494 54
Chris@494 55 a:hover {
Chris@494 56 text-decoration: underline;
Chris@494 57 }
Chris@494 58
Chris@494 59