~bzr-pqm/bzr/bzr.dev

1821.1.1 by Alexander Belchenko
win32 installer for bzr.dev.0.9
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.title {
20
  text-align: center;
21
  color: #000000;
22
  font-family: Georgia, "Time New Roman", Times, serif;
23
  font-size: 1.8em;
24
  }
25
26
27
div.contents p {
28
  font-weight: bold;
29
  }
30
31
div.contents p a:hover {
32
  color: inherit;
33
  }
34
35
h1 {
36
  color: #b52b2b; 
37
  /* DKREDcolor: #966b72; */
38
  /* GREY color: #444444; */
39
  font-family: Georgia, "Time New Roman", Times, serif;
40
  font-size: 1.5em;
41
  }
42
43
h1 a:link {
44
  color: inherit;
45
  }
46
  
47
h1 a:hover {
48
  color: inherit;
49
  }
50
51
h1 a:visited {
52
  color: inherit;
53
  }
54
55
h2 {
56
  color: #222;
57
  /* RED color: #966b72; */
58
  text-decoration: underline;
59
  font-family: Georgia, "Time New Roman", Times, serif;
60
  font-size: 1.4em;
61
  }
62
63
h2 a:link {
64
  color: inherit;
65
  }
66
67
h2 a:hover {
68
  color: inherit;
69
  }
70
71
h2 a:visited {
72
  color: inherit;
73
  }
74
75
h3 {
76
  color: #966b72; 
77
  /* color: #966b72; */
78
  font-family: Georgia, "Time New Roman", Times, serif;
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 {
113
  color: #000000;
114
  font-weight: normal;
115
  font-family: "Lucida", "Monaco", "Courier", Monospace;
116
  }
117
118
.literal-block {
119
  margin-left: 5em;
120
  color: #000000;
121
  font-weight: normal;
122
  font-family: "Lucida", "Monaco", "Courier", Monospace;
123
  background-color: #c1d1ff;
124
  background-color: #e5ecf9;
125
  border: 1px solid #888888;
126
  padding: 1em;
127
  }
128
129
a:link {
130
  color: #4c52ff;
131
  text-decoration: none;
132
  }
133
134
a:visited {
135
  color: #4c53ff;
136
  text-decoration: none;
137
  }
138
139
a:hover {
140
  color: #b52727;
141
  text-decoration: none;
142
  }