← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: Alexander Belchenko
  • Date: 2006-07-31 16:12:57 UTC
  • mto: (1711.2.111 jam-integration)
  • mto: This revision was merged to the branch mainline in revision 1906.
  • Revision ID: bialix@ukr.net-20060731161257-91a231523255332c
new official bzr.ico

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
 
39
36
  color: #b52b2b; 
40
37
  /* DKREDcolor: #966b72; */
41
38
  /* GREY color: #444444; */
 
39
  font-family: Georgia, "Time New Roman", Times, serif;
42
40
  font-size: 1.5em;
43
41
  }
44
42
 
58
56
  color: #222;
59
57
  /* RED color: #966b72; */
60
58
  text-decoration: underline;
 
59
  font-family: Georgia, "Time New Roman", Times, serif;
61
60
  font-size: 1.4em;
62
61
  }
63
62
 
76
75
h3 {
77
76
  color: #966b72; 
78
77
  /* 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
 
  line-height: 100%
115
 
  }
116
 
 
117
112
tt {
118
113
  color: #000000;
119
114
  font-weight: normal;
 
115
  font-family: "Lucida", "Monaco", "Courier", Monospace;
120
116
  }
121
117
 
122
118
.literal-block {
123
119
  margin-left: 5em;
124
 
  margin-right: 5em;
125
120
  color: #000000;
126
121
  font-weight: normal;
 
122
  font-family: "Lucida", "Monaco", "Courier", Monospace;
127
123
  background-color: #c1d1ff;
128
124
  background-color: #e5ecf9;
129
125
  border: 1px solid #888888;