~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: Robert Collins
  • Date: 2007-03-08 04:06:06 UTC
  • mfrom: (2323.1.1 integration)
  • mto: This revision was merged to the branch mainline in revision 2442.
  • Revision ID: robertc@robertcollins.net-20070308040606-84gsniv56huiyjt4
Merge bzr.dev.

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
  }