← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

Tweak font settings in stylesheet

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
16
16
  text-indent: 3em
17
17
} */
18
18
 
 
19
h1, h2, h3 {
 
20
  font-family: Georgia, "Times New Roman", Times, serif;
 
21
}
 
22
 
19
23
h1.title {
20
24
  text-align: center;
21
25
  color: #000000;
22
 
  font-family: Georgia, "Time New Roman", Times, serif;
23
26
  font-size: 1.8em;
24
27
  }
25
28
 
36
39
  color: #b52b2b; 
37
40
  /* DKREDcolor: #966b72; */
38
41
  /* GREY color: #444444; */
39
 
  font-family: Georgia, "Time New Roman", Times, serif;
40
42
  font-size: 1.5em;
41
43
  }
42
44
 
56
58
  color: #222;
57
59
  /* RED color: #966b72; */
58
60
  text-decoration: underline;
59
 
  font-family: Georgia, "Time New Roman", Times, serif;
60
61
  font-size: 1.4em;
61
62
  }
62
63
 
75
76
h3 {
76
77
  color: #966b72; 
77
78
  /* color: #966b72; */
78
 
  font-family: Georgia, "Time New Roman", Times, serif;
79
79
  }
80
80
 
81
81
h3 a:link {
109
109
  }
110
110
*/
111
111
 
 
112
tt, .literal-block {
 
113
  font-family: monospace;
 
114
  }
 
115
 
112
116
tt {
113
117
  color: #000000;
114
118
  font-weight: normal;
115
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
116
119
  }
117
120
 
118
121
.literal-block {
119
122
  margin-left: 5em;
120
123
  color: #000000;
121
124
  font-weight: normal;
122
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
123
125
  background-color: #c1d1ff;
124
126
  background-color: #e5ecf9;
125
127
  border: 1px solid #888888;