/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

Implement _bisect_recursive, which uses multiple bisect calls to
handle renames and finding entries in subdirs.
As is, this could be hooked into paths2ids() if the dirstate has not been loaded yet.
However, it doesn't quite provide enough, since the parsed entries would probably not
be saved. Further, the multiple bisect calls are less efficient then they could be,
because they do not remember the last bisect call.
We should explore switching to a caching structure, which maintains all records that
have been processed, in a structure that can be in-memory searched before going back
to disk.

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
  }