~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: John Arbash Meinel
  • Date: 2009-02-19 20:55:17 UTC
  • mto: (0.22.4 experimental)
  • mto: This revision was merged to the branch mainline in revision 4280.
  • Revision ID: john@arbash-meinel.com-20090219205517-drw89424koe6h1da
Play around a bit.

1) Empty texts are no-op inserted, to avoid ever trying to match against their text.
2) If we find a new file-id and the compressor is more than half full, we go
ahead and start a new compressor.

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: 140%
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
 
/* Format ".. note:" sections nicely */
39
 
div.note {
40
 
  margin-left: 5em;
41
 
  margin-right: 5em;
42
 
  color: #000000;
43
 
  background-color: #c1d1ff;
44
 
  border: 1px solid #888888;
45
 
  padding-left: 1em;
46
 
  padding-right: 1em;
47
 
  }
48
 
 
49
 
div.note .first {
50
 
  font-weight: bold;
51
 
  }
52
 
 
53
 
h1 {
54
 
  color: #b52b2b;
55
 
  /* DKREDcolor: #966b72; */
56
 
  /* GREY color: #444444; */
57
 
  font-size: 1.5em;
58
 
  }
59
 
 
60
 
h1 a:link {
61
 
  color: inherit;
62
 
  }
63
 
 
64
 
h1 a:hover {
65
 
  color: inherit;
66
 
  }
67
 
 
68
 
h1 a:visited {
69
 
  color: inherit;
70
 
  }
71
 
 
72
 
h2 {
73
 
  color: #222;
74
 
  /* RED color: #966b72; */
75
 
  text-decoration: underline;
76
 
  font-size: 1.4em;
77
 
  }
78
 
 
79
 
h2 a:link {
80
 
  color: inherit;
81
 
  }
82
 
 
83
 
h2 a:hover {
84
 
  color: inherit;
85
 
  }
86
 
 
87
 
h2 a:visited {
88
 
  color: inherit;
89
 
  }
90
 
 
91
 
h3 {
92
 
  color: #966b72;
93
 
  /* color: #966b72; */
94
 
  }
95
 
 
96
 
h3 a:link {
97
 
  color: inherit;
98
 
  }
99
 
 
100
 
h3 a:hover {
101
 
  color: inherit;
102
 
  }
103
 
 
104
 
h3 a:visited {
105
 
  color: inherit;
106
 
  }
107
 
 
108
 
dt {
109
 
  color: #000000;
110
 
  font-weight: bold;
111
 
  }
112
 
/*
113
 
  border: 4px solid blue;
114
 
  padding: 1ex;
115
 
  background: #7777FF;
116
 
        }
117
 
dt:hover
118
 
  {
119
 
  background-color: black;
120
 
  }
121
 
dt:active
122
 
  {
123
 
  background-color: red;
124
 
  }
125
 
*/
126
 
 
127
 
tt, .literal-block {
128
 
  font-family: monospace;
129
 
  line-height: 100%
130
 
  }
131
 
 
132
 
tt {
133
 
  color: #000000;
134
 
  font-weight: normal;
135
 
  }
136
 
 
137
 
.literal-block {
138
 
  margin-left: 5em;
139
 
  margin-right: 5em;
140
 
  color: #000000;
141
 
  font-weight: normal;
142
 
  background-color: #e5ecf9;
143
 
  border: 1px solid #888888;
144
 
  padding: 1em;
145
 
  }
146
 
 
147
 
a:link {
148
 
  color: #4c52ff;
149
 
  text-decoration: none;
150
 
  }
151
 
 
152
 
a:visited {
153
 
  color: #4c53ff;
154
 
  text-decoration: none;
155
 
  }
156
 
 
157
 
a:hover {
158
 
  color: #b52727;
159
 
  text-decoration: none;
160
 
  }
161
 
 
162
 
span, th.field-name {
163
 
  white-space: nowrap;
164
 
}