← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

Merge with other bzr.ab

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
 
  }