templates/header.tmpl
author mpm@selenic.com
Tue, 16 Aug 2005 14:53:47 -0800
changeset 917 7f3f55903496
parent 672 dbe0ce2ae196
child 1308 2073e5a71008
permissions -rw-r--r--
Fix hg clone race with writer Most read operations in hg don't need locks because we order reads and writes for consistency. Clone is an exception to this as we're copying entire file histories and could end up with more file history copied than we have commits. For now, make clone take a lock on the source repo. Non-hardlinked clone should eventually be changed to use lockless pull.

Content-type: text/html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<style type="text/css">
<!--
a { text-decoration:none; }
.parity0 { background-color: #dddddd; }
.parity1 { background-color: #eeeeee; }
.lineno { width: 60px; color: #aaaaaa; font-size: smaller; }
.plusline { color: green; }
.minusline { color: red; }
.atline { color: purple; }
.annotate { font-size: smaller; text-align: right; padding-right: 1em; }
.buttons a {
  background-color: #666666;
  padding: 2pt;
  color: white;
  font-family: sans;
  font-weight: bold;
}
.metatag {
  background-color: #888888;
  color: white;
  text-align: right; 
}

/* Common */
pre { margin: 0; }


/* Changelog entries */
.changelogEntry { width: 100%; }
.changelogEntry th { font-weight: normal; text-align: right; vertical-align: top; width: 15%;}
.changelogEntry th.age, .changelogEntry th.firstline { font-weight: bold; }
.changelogEntry th.firstline { text-align: left; width: inherit; }

/* Tag entries */
#tagEntries { list-style: none; margin: 0; padding: 0; }
#tagEntries .tagEntry { list-style: none; margin: 0; padding: 0; }
#tagEntries .tagEntry span.node { font-family: monospace; }

/* Changeset entry */
#changesetEntry { }
#changesetEntry th { font-weight: normal; background-color: #888; color: #fff; text-align: right; }
#changesetEntry th.files, #changesetEntry th.description { vertical-align: top; }

/* File diff view */
#filediffEntry { }
#filediffEntry th { font-weight: normal; background-color: #888; color: #fff; text-align: right; }

-->
</style>