← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

Merge bzr.dev (and fix NEWS)

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
9
9
  margin-bottom: 70px;
10
10
  font-family: Verdana, Geneva, Arial, sans-serif;
11
11
  font-size: small;
12
 
  line-height: 140%
 
12
  line-height: 180%
13
13
  }
14
14
 
15
15
/* p {
16
16
  text-indent: 3em
17
17
} */
18
18
 
19
 
h1, h2, h3 {
20
 
  font-family: Georgia, "Times New Roman", Times, serif;
21
 
}
22
 
 
23
19
h1.title {
24
20
  text-align: center;
25
21
  color: #000000;
 
22
  font-family: Georgia, "Time New Roman", Times, serif;
26
23
  font-size: 1.8em;
27
24
  }
28
25
 
35
32
  color: inherit;
36
33
  }
37
34
 
38
 
/* Format ".. note:" sections nicely */
39
 
div.note {
40
 
  margin-left: 5em;
41
 
  margin-right: 5em;
42
 
  color: #000000;
43
 
  background-color: #c1d1ff;
44
 
  border: 1px solid #888888;
45
 
  padding-left: 1em;
46
 
  padding-right: 1em;
47
 
  }
48
 
 
49
 
div.note .first {
50
 
  font-weight: bold;
51
 
  }
52
 
 
53
35
h1 {
54
 
  color: #b52b2b;
 
36
  color: #b52b2b; 
55
37
  /* DKREDcolor: #966b72; */
56
38
  /* GREY color: #444444; */
 
39
  font-family: Georgia, "Time New Roman", Times, serif;
57
40
  font-size: 1.5em;
58
41
  }
59
42
 
60
43
h1 a:link {
61
44
  color: inherit;
62
45
  }
63
 
 
 
46
  
64
47
h1 a:hover {
65
48
  color: inherit;
66
49
  }
73
56
  color: #222;
74
57
  /* RED color: #966b72; */
75
58
  text-decoration: underline;
 
59
  font-family: Georgia, "Time New Roman", Times, serif;
76
60
  font-size: 1.4em;
77
61
  }
78
62
 
89
73
  }
90
74
 
91
75
h3 {
92
 
  color: #966b72;
 
76
  color: #966b72; 
93
77
  /* color: #966b72; */
 
78
  font-family: Georgia, "Time New Roman", Times, serif;
94
79
  }
95
80
 
96
81
h3 a:link {
114
99
  padding: 1ex;
115
100
  background: #7777FF;
116
101
        }
117
 
dt:hover
 
102
dt:hover 
118
103
  {
119
104
  background-color: black;
120
105
  }
124
109
  }
125
110
*/
126
111
 
127
 
tt, .literal-block {
128
 
  font-family: monospace;
129
 
  line-height: 100%
130
 
  }
131
 
 
132
112
tt {
133
113
  color: #000000;
134
114
  font-weight: normal;
 
115
  font-family: "Lucida", "Monaco", "Courier", Monospace;
135
116
  }
136
117
 
137
118
.literal-block {
138
119
  margin-left: 5em;
139
 
  margin-right: 5em;
140
120
  color: #000000;
141
121
  font-weight: normal;
 
122
  font-family: "Lucida", "Monaco", "Courier", Monospace;
 
123
  background-color: #c1d1ff;
142
124
  background-color: #e5ecf9;
143
125
  border: 1px solid #888888;
144
126
  padding: 1em;
158
140
  color: #b52727;
159
141
  text-decoration: none;
160
142
  }
161
 
 
162
 
span, th.field-name {
163
 
  white-space: nowrap;
164
 
}