← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

Exclude more files from dumb-rsync upload

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
1
 
/* from John Arbash Meinel's `Short tutorial' */
2
 
 
3
 
body {
4
 
  background-color: #ffffff;
5
 
  color: #303030;
6
 
  margin-top: 50px;
7
 
  margin-left: 50px;
8
 
  margin-right: 50px;
9
 
  margin-bottom: 70px;
10
 
  font-family: Verdana, Geneva, Arial, sans-serif;
11
 
  font-size: small;
12
 
  line-height: 140%
13
 
  }
14
 
 
15
 
/* p {
16
 
  text-indent: 3em
17
 
} */
18
 
 
19
 
h1, h2, h3 {
20
 
  font-family: Georgia, "Times New Roman", Times, serif;
21
 
}
22
 
 
23
 
h1.title {
24
 
  text-align: center;
25
 
  color: #000000;
26
 
  font-size: 1.8em;
27
 
  }
28
 
 
29
 
 
30
 
div.contents p {
31
 
  font-weight: bold;
32
 
  }
33
 
 
34
 
div.contents p a:hover {
35
 
  color: inherit;
36
 
  }
37
 
 
38
 
h1 {
39
 
  color: #b52b2b; 
40
 
  /* DKREDcolor: #966b72; */
41
 
  /* GREY color: #444444; */
42
 
  font-size: 1.5em;
43
 
  }
44
 
 
45
 
h1 a:link {
46
 
  color: inherit;
47
 
  }
48
 
  
49
 
h1 a:hover {
50
 
  color: inherit;
51
 
  }
52
 
 
53
 
h1 a:visited {
54
 
  color: inherit;
55
 
  }
56
 
 
57
 
h2 {
58
 
  color: #222;
59
 
  /* RED color: #966b72; */
60
 
  text-decoration: underline;
61
 
  font-size: 1.4em;
62
 
  }
63
 
 
64
 
h2 a:link {
65
 
  color: inherit;
66
 
  }
67
 
 
68
 
h2 a:hover {
69
 
  color: inherit;
70
 
  }
71
 
 
72
 
h2 a:visited {
73
 
  color: inherit;
74
 
  }
75
 
 
76
 
h3 {
77
 
  color: #966b72; 
78
 
  /* color: #966b72; */
79
 
  }
80
 
 
81
 
h3 a:link {
82
 
  color: inherit;
83
 
  }
84
 
 
85
 
h3 a:hover {
86
 
  color: inherit;
87
 
  }
88
 
 
89
 
h3 a:visited {
90
 
  color: inherit;
91
 
  }
92
 
 
93
 
dt {
94
 
  color: #000000;
95
 
  font-weight: bold;
96
 
  }
97
 
/*
98
 
  border: 4px solid blue;
99
 
  padding: 1ex;
100
 
  background: #7777FF;
101
 
        }
102
 
dt:hover 
103
 
  {
104
 
  background-color: black;
105
 
  }
106
 
dt:active
107
 
  {
108
 
  background-color: red;
109
 
  }
110
 
*/
111
 
 
112
 
tt, .literal-block {
113
 
  font-family: monospace;
114
 
  line-height: 100%
115
 
  }
116
 
 
117
 
tt {
118
 
  color: #000000;
119
 
  font-weight: normal;
120
 
  }
121
 
 
122
 
.literal-block {
123
 
  margin-left: 5em;
124
 
  margin-right: 5em;
125
 
  color: #000000;
126
 
  font-weight: normal;
127
 
  background-color: #c1d1ff;
128
 
  background-color: #e5ecf9;
129
 
  border: 1px solid #888888;
130
 
  padding: 1em;
131
 
  }
132
 
 
133
 
a:link {
134
 
  color: #4c52ff;
135
 
  text-decoration: none;
136
 
  }
137
 
 
138
 
a:visited {
139
 
  color: #4c53ff;
140
 
  text-decoration: none;
141
 
  }
142
 
 
143
 
a:hover {
144
 
  color: #b52727;
145
 
  text-decoration: none;
146
 
  }