~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: Robert Collins
  • Date: 2005-09-27 06:15:35 UTC
  • mto: (1092.3.4)
  • mto: This revision was merged to the branch mainline in revision 1391.
  • Revision ID: robertc@robertcollins.net-20050927061535-6321f7191439d108
print test case exceptions after the test log

Show diffs side-by-side

added added

removed removed

Lines of Context:
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: 180%
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
 
  }
115
 
 
116
 
tt {
117
 
  color: #000000;
118
 
  font-weight: normal;
119
 
  }
120
 
 
121
 
.literal-block {
122
 
  margin-left: 5em;
123
 
  color: #000000;
124
 
  font-weight: normal;
125
 
  background-color: #c1d1ff;
126
 
  background-color: #e5ecf9;
127
 
  border: 1px solid #888888;
128
 
  padding: 1em;
129
 
  }
130
 
 
131
 
a:link {
132
 
  color: #4c52ff;
133
 
  text-decoration: none;
134
 
  }
135
 
 
136
 
a:visited {
137
 
  color: #4c53ff;
138
 
  text-decoration: none;
139
 
  }
140
 
 
141
 
a:hover {
142
 
  color: #b52727;
143
 
  text-decoration: none;
144
 
  }