/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: wang
  • Date: 2006-10-29 13:41:32 UTC
  • mto: (2104.4.1 wang_65714)
  • mto: This revision was merged to the branch mainline in revision 2109.
  • Revision ID: wang@ubuntu-20061029134132-3d7f4216f20c4aef
Replace python's difflib by patiencediff because the worst case 
performance is cubic for difflib and people commiting large data 
files are often hurt by this. The worst case performance of patience is 
quadratic. Fix bug 65714.

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/default.css
9
9
  margin-bottom: 70px;
10
10
  font-family: Verdana, Geneva, Arial, sans-serif;
11
11
  font-size: small;
12
 
  line-height: 140%
 
12
  line-height: 180%
13
13
  }
14
14
 
15
15
/* p {
35
35
  color: inherit;
36
36
  }
37
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
38
h1 {
54
 
  color: #b52b2b;
 
39
  color: #b52b2b; 
55
40
  /* DKREDcolor: #966b72; */
56
41
  /* GREY color: #444444; */
57
42
  font-size: 1.5em;
60
45
h1 a:link {
61
46
  color: inherit;
62
47
  }
63
 
 
 
48
  
64
49
h1 a:hover {
65
50
  color: inherit;
66
51
  }
89
74
  }
90
75
 
91
76
h3 {
92
 
  color: #966b72;
 
77
  color: #966b72; 
93
78
  /* color: #966b72; */
94
79
  }
95
80
 
114
99
  padding: 1ex;
115
100
  background: #7777FF;
116
101
        }
117
 
dt:hover
 
102
dt:hover 
118
103
  {
119
104
  background-color: black;
120
105
  }
126
111
 
127
112
tt, .literal-block {
128
113
  font-family: monospace;
129
 
  line-height: 100%
130
114
  }
131
115
 
132
116
tt {
136
120
 
137
121
.literal-block {
138
122
  margin-left: 5em;
139
 
  margin-right: 5em;
140
123
  color: #000000;
141
124
  font-weight: normal;
 
125
  background-color: #c1d1ff;
142
126
  background-color: #e5ecf9;
143
127
  border: 1px solid #888888;
144
128
  padding: 1em;
158
142
  color: #b52727;
159
143
  text-decoration: none;
160
144
  }
161
 
 
162
 
span, th.field-name {
163
 
  white-space: nowrap;
164
 
}