← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

[merge] bialix: add a win32 installer

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
 
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
  }