Correction on effects of git-checkout
[gitmagic.git] / book.css
blob25d7e1e31cabf305c1f790a6667b0871ff42eac1
1 body {
2 font-size: 90%;
3 font-family: verdana, arial, sans-serif;
6 tt, code, pre, .type {
7 font-family: andale mono, courier new, courier, monospace;
8 font-size: 90%;
11 /* Based on http://phrogz.net/CSS/columns3.html */
12 div.toc {
13 float: left;
14 margin: 0;
15 padding: 0;
16 padding-top: 0.5em;
17 border: 0;
18 width: 13em;
20 background-color: #f9f9f9;
21 margin-right:1em;
24 div.content {
25 margin: 0;
26 padding: 0;
28 /* won't match if font is smaller in toc */
29 border-left: 13em solid #f9f9f9;
30 padding-left: 1em;
33 div.content:after {
34 content:' ';
35 clear:both;
36 display:block;
37 height:0;
38 overflow:hidden
41 div.footer {
42 clear:left;
45 div.toc ul {
46 list-style: none;
47 padding: 0;
48 margin: 0;
51 div.toc li ul a, li ul span.currentlink
53 font-weight: normal;
54 font-size: 90%;
55 padding-left: 2em;
58 div.toc a, span.currentlink{
59 display:block;
60 text-decoration: none;
61 padding-left: 0.5em;
62 color: #0000aa;
65 span.currentlink {
66 text-decoration: none;
67 background-color: #aaaaf9;
70 div.toc a:visited {
71 color: #0000aa;
74 div.toc a:hover {
75 background-color: #f9f9aa;
78 .programlisting, .screen {
79 margin: 0;
80 border: 1px solid #aaaaaa;
81 background-color: #f9f9f9;
82 padding: 0.17em;
83 margin: 1em;
84 margin-right: 3em;
87 .parameter {
88 font-style: italic;