annotate templates/static/style-gitweb.css @ 2079:ee96ca273f32

New lazy index code for revlogs. This tunes for large repositories. It does not read the whole index file in one big chunk, but tries to buffer reads in more reasonable chunks instead. Search speeds are improved in two ways. When trying to find a specific sha hash, it searches from the end of the file backward. More recent entries are more likely to be relevant, especially the tip. Also, this can load only the mapping of nodes to revlog index number. Loading the map uses less cpu (no struct.unpack) and much less memory than loading both the map and the index. This cuts down the time for hg tip on the 80,000 changeset kernel repo from 1.8s to 3.69s. Most commands the pull a single rev out of a big index get roughly the same benefit. Commands that read the whole index are not slower.
author mason@suse.com
date Tue, 04 Apr 2006 16:47:12 -0400
parents b08b87cecc37
children 90ee844b9f71
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1778
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
1 body { font-family: sans-serif; font-size: 12px; margin:0px; border:solid #d9d8d1; border-width:1px; margin:10px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
2 a { color:#0000cc; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
3 a:hover, a:visited, a:active { color:#880000; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
4 div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
5 div.page_header a:visited { color:#0000cc; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
6 div.page_header a:hover { color:#880000; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
7 div.page_nav { padding:8px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
8 div.page_nav a:visited { color:#0000cc; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
9 div.page_path { padding:8px; border:solid #d9d8d1; border-width:0px 0px 1px}
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
10 div.page_footer { height:17px; padding:4px 8px; background-color: #d9d8d1; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
11 div.page_footer_text { float:left; color:#555555; font-style:italic; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
12 div.page_body { padding:8px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
13 div.title, a.title {
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
14 display:block; padding:6px 8px;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
15 font-weight:bold; background-color:#edece6; text-decoration:none; color:#000000;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
16 }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
17 a.title:hover { background-color: #d9d8d1; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
18 div.title_text { padding:6px 0px; border: solid #d9d8d1; border-width:0px 0px 1px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
19 div.log_body { padding:8px 8px 8px 150px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
20 span.age { position:relative; float:left; width:142px; font-style:italic; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
21 div.log_link {
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
22 padding:0px 8px;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
23 font-size:10px; font-family:sans-serif; font-style:normal;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
24 position:relative; float:left; width:136px;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
25 }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
26 div.list_head { padding:6px 8px 4px; border:solid #d9d8d1; border-width:1px 0px 0px; font-style:italic; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
27 a.list { text-decoration:none; color:#000000; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
28 a.list:hover { text-decoration:underline; color:#880000; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
29 table { padding:8px 4px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
30 th { padding:2px 5px; font-size:12px; text-align:left; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
31 tr.light:hover, .parity0:hover { background-color:#edece6; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
32 tr.dark, .parity1 { background-color:#f6f6f0; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
33 tr.dark:hover, .parity1:hover { background-color:#edece6; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
34 td { padding:2px 5px; font-size:12px; vertical-align:top; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
35 td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
36 div.pre { font-family:monospace; font-size:12px; white-space:pre; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
37 div.diff_info { font-family:monospace; color:#000099; background-color:#edece6; font-style:italic; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
38 div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
39 div.search { margin:4px 8px; position:absolute; top:56px; right:12px }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
40 .linenr { color:#999999; text-decoration:none }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
41 a.rss_logo {
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
42 float:right; padding:3px 0px; width:35px; line-height:10px;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
43 border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
44 color:#ffffff; background-color:#ff6600;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
45 font-weight:bold; font-family:sans-serif; font-size:10px;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
46 text-align:center; text-decoration:none;
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
47 }
b08b87cecc37 [hgweb] Move CSS from headers into static files
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents:
diff changeset
48 a.rss_logo:hover { background-color:#ee5500; }