annotate templates/static/style.css @ 1799:b942f5cfd326

Replaced fixed window size for walkchangerevs with an increasing one. Window
sizes starts at 8 (for good interactiveness) and doubles with each window
until it is 512, which seems to be the maximum efficient value.

a { text-decoration:none; }
.parity0 { background-color: #dddddd; }
.parity1 { background-color: #eeeeee; }
.lineno { width: 60px; color: #aaaaaa; font-size: smaller; 
          text-align: right; padding-right:1em; }
.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;
}
.navigate a {
  background-color: #ccc;
  padding: 2pt;
  font-family: sans;
  color: black;
}

.metatag {
  background-color: #888888;
  color: white;
  text-align: right;
}

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

.logo {
  background-color: #333;
  padding: 4pt;
  margin: 8pt 0 8pt 8pt;
  font-family: sans;
  font-size: 60%;
  color: white;
  float: right;
  clear: right;
  text-align: left;
}

.logo a {
  font-weight: bold;
  font-size: 150%; 
  color: #999;
}

/* Changelog entries */
.changelogEntry { width: 100%; }
.changelogEntry th { font-weight: normal; text-align: right; vertical-align: top; }
.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; }