mercurial/templates/static/style-monoblue.css
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
Tue, 01 Dec 2009 16:06:10 +0100
changeset 9999 f91e5630ce7e
parent 8162 templates/static/style-monoblue.css@6f14253416bd
child 12353 0c2c969e032b
permissions -rw-r--r--
setup: install translation files as package data Remove the `install_package_data' subclass of `install_data' and use the `package_data' functionality provided by distutils instead. As package data must be located within the package directory, the data files are now generated in the build directory. To simplify the functionality of this change, the top-level `doc' and `templates' directories have been moved into the `mercurial' package directory.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     1
/*** Initial Settings ***/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     2
* {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     3
  margin: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     4
  padding: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     5
  font-weight: normal;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     6
  font-style: normal;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     7
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     8
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
     9
html {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    10
  font-size: 100%;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    11
  font-family: sans-serif;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    12
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    13
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    14
body {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    15
  font-size: 77%;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    16
  margin: 15px 50px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    17
  background: #4B4B4C;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    18
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    19
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    20
a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    21
  color:#0000cc;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    22
  text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    23
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    24
/*** end of Initial Settings ***/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    25
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    26
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    27
/** common settings **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    28
div#container {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    29
  background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    30
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    31
  color: #666;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    32
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    33
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    34
div.page-header {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    35
  padding: 50px 20px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    36
  background: #006699 top left repeat-x;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    37
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    38
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    39
  div.page-header h1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    40
    margin: 10px 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    41
    font-size: 1.8em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    42
    font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    43
    font-family: osaka,'MS P Gothic', Georgia, serif;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    44
    letter-spacing: 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    45
    color: #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    46
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    47
  div.page-header h1 a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    48
    font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    49
    color: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    50
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    51
  div.page-header a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    52
    text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    53
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    54
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    55
  div.page-header form {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    56
    position: absolute;
7205
2bee44628c41 theme/monoblue: put the search box entirely in the header
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents: 7203
diff changeset
    57
    margin-bottom: 2px;
2bee44628c41 theme/monoblue: put the search box entirely in the header
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents: 7203
diff changeset
    58
    bottom: 0;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    59
    right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    60
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    61
  div.page-header form label {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    62
    color: #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    63
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    64
  div.page-header form input {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    65
    padding: 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    66
    border: solid 1px #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    67
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    68
  div.page-header form dl {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    69
    overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    70
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    71
  div.page-header form dl dt {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    72
    font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    73
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    74
  div.page-header form dl dt,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    75
  div.page-header form dl dd {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    76
    margin: 0 0 0 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    77
    float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    78
    height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    79
    line-height: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    80
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    81
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    82
  ul.page-nav {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    83
    margin: 10px 0 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    84
    list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    85
    overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    86
    width: 800px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    87
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    88
    ul.page-nav li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    89
      margin: 0 2px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    90
      float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    91
      width: 80px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    92
      height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    93
      font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    94
      line-height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    95
      text-align: center;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    96
    }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    97
    ul.page-nav li.current {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    98
      background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
    99
    }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   100
    ul.page-nav li a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   101
      height: 24px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   102
      color: #666;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   103
      background: #DDD;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   104
      display: block;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   105
      text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   106
    }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   107
    ul.page-nav li a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   108
      color:#333;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   109
      background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   110
    }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   111
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   112
ul.submenu {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   113
  margin: 10px 0 -10px 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   114
  list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   115
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   116
ul.submenu li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   117
  margin: 0 10px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   118
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   119
  display: inline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   120
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   121
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   122
h2 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   123
  margin: 20px 0 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   124
  height: 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   125
  line-height: 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   126
  text-indent: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   127
  background: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   128
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   129
  border-top: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   130
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   131
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   132
h2.no-link {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   133
  color:#006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   134
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   135
h2.no-border {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   136
  color: #FFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   137
  background: #006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   138
  border: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   139
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   140
h2 a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   141
  font-weight:bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   142
  color:#006699;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   143
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   144
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   145
div.page-path {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   146
  text-align: right;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   147
  padding: 20px 30px 10px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   148
  border:solid #d9d8d1;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   149
  border-width:0px 0px 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   150
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   151
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   152
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   153
div.page-footer {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   154
  margin: 50px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   155
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   156
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   157
  div.page-footer p {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   158
    position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   159
    left: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   160
    bottom: 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   161
    font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   162
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   163
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   164
  ul.rss-logo {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   165
    position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   166
    top: -10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   167
    right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   168
    height: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   169
    list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   170
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   171
  ul.rss-logo li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   172
    display: inline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   173
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   174
  ul.rss-logo li a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   175
    padding: 3px 6px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   176
    line-height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   177
    border:1px solid;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   178
    border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   179
    color:#ffffff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   180
    background-color:#ff6600;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   181
    font-weight:bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   182
    font-family:sans-serif;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   183
    font-size:10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   184
    text-align:center;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   185
    text-decoration:none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   186
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   187
  div.rss-logo li a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   188
    background-color:#ee5500;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   189
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   190
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   191
p.normal {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   192
  margin: 20px 0 20px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   193
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   194
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   195
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   196
table {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   197
  margin: 10px 0 0 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   198
  width: 95%;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   199
  border-collapse: collapse;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   200
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   201
table tr td {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   202
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   203
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   204
table tr td.nowrap {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   205
  white-space: nowrap;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   206
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   207
/*
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   208
table tr.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   209
table tr.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   210
  background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   211
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   212
*/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   213
table tr.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   214
  background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   215
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   216
table tr.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   217
  background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   218
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   219
table tr td {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   220
  padding: 5px 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   221
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   222
table.annotated tr td {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   223
  padding: 0px 5px;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   224
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   225
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   226
span.logtags span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   227
  padding: 2px 6px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   228
  font-weight: normal;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   229
  font-size: 11px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   230
  border: 1px solid;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   231
  background-color: #ffaaff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   232
  border-color: #ffccff #ff00ee #ff00ee #ffccff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   233
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   234
span.logtags span.tagtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   235
  background-color: #ffffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   236
  border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   237
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   238
span.logtags span.branchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   239
  background-color: #aaffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   240
  border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   241
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   242
span.logtags span.inbranchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   243
  background-color: #d5dde6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   244
  border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   245
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   246
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   247
div.diff pre {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   248
  margin: 10px 0 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   249
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   250
div.diff pre span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   251
  font-family: monospace;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   252
  white-space: pre;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   253
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   254
  padding: 3px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   255
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   256
td.source {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   257
  white-space: pre;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   258
  font-family: monospace;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   259
  margin: 10px 30px 0;
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   260
  font-size: 1.2em;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   261
  font-family: monospace;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   262
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   263
  div.source div.parity0,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   264
  div.source div.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   265
    padding: 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   266
    font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   267
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   268
  div.source div.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   269
    background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   270
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   271
  div.source div.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   272
    background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   273
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   274
div.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   275
div.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   276
  background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   277
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   278
.linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   279
  color: #999;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   280
  text-align: right;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   281
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   282
.lineno {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   283
  text-align: right;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   284
}
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   285
.lineno a {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   286
  color: #999;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   287
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   288
td.linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   289
  width: 60px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   290
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   291
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   292
div#powered-by {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   293
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   294
  width: 75px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   295
  top: 15px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   296
  right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   297
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   298
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   299
div#powered-by a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   300
  color: #EEE;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   301
  text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   302
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   303
div#powered-by a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   304
  text-decoration: underline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   305
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   306
/*
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   307
div#monoblue-corner-top-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   308
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   309
  top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   310
  left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   311
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   312
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   313
  background: url(./monoblue-corner.png) top left no-repeat !important;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   314
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   315
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   316
div#monoblue-corner-top-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   317
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   318
  top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   319
  right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   320
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   321
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   322
  background: url(./monoblue-corner.png) top right no-repeat !important;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   323
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   324
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   325
div#monoblue-corner-bottom-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   326
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   327
  bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   328
  left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   329
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   330
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   331
  background: url(./monoblue-corner.png) bottom left no-repeat !important;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   332
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   333
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   334
div#monoblue-corner-bottom-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   335
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   336
  bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   337
  right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   338
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   339
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   340
  background: url(./monoblue-corner.png) bottom right no-repeat !important;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   341
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   342
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   343
*/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   344
/** end of common settings **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   345
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   346
/** summary **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   347
dl.overview {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   348
  margin: 0 0 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   349
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   350
  overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   351
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   352
  dl.overview dt,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   353
  dl.overview dd {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   354
    margin: 5px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   355
    float: left;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   356
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   357
  dl.overview dt {
7203
e9a44a8e0ddc theme/monoblue: do not use a fixed width for the overview box
Benoit Boissinot <benoit.boissinot@ens-lyon.org>
parents: 7112
diff changeset
   358
    clear: left;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   359
    font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   360
    width: 150px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   361
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   362
/** end of summary **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   363
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   364
/** chagelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   365
h3.changelog {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   366
  margin: 20px 0 5px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   367
  padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   368
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   369
  border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   370
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   371
ul.changelog-entry {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   372
  margin: 0 0 10px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   373
  list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   374
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   375
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   376
ul.changelog-entry li span.revdate {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   377
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   378
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   379
ul.changelog-entry li.age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   380
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   381
  top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   382
  right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   383
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   384
  color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   385
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   386
  font-style: italic;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   387
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   388
ul.changelog-entry li span.name {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   389
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   390
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   391
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   392
ul.changelog-entry li.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   393
  margin: 10px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   394
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   395
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   396
/** end of changelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   397
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   398
/** file **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   399
p.files {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   400
  margin: 0 0 0 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   401
  font-size: 2.0em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   402
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   403
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   404
/** end of file **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   405
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   406
/** changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   407
h3.changeset {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   408
  margin: 20px 0 5px 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   409
  padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   410
  font-size: 1.6em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   411
  border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   412
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   413
p.changeset-age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   414
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   415
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   416
p.changeset-age span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   417
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   418
  top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   419
  right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   420
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   421
  color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   422
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   423
  font-style: italic;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   424
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   425
p.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   426
  margin: 10px 30px 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   427
  padding: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   428
  border: solid 1px #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   429
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   430
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   431
/** end of changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   432
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   433
/** canvas **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   434
div#wrapper {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   435
	position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   436
    font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   437
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   438
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   439
canvas {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   440
	position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   441
	z-index: 5;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   442
	top: -0.7em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   443
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   444
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   445
ul#nodebgs li.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   446
    background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   447
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   448
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   449
ul#nodebgs li.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   450
    background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   451
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   452
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   453
ul#graphnodes {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   454
	position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   455
	z-index: 10;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   456
	top: 7px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   457
	list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   458
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   459
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   460
ul#nodebgs {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   461
	list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   462
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   463
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   464
ul#graphnodes li, ul#nodebgs li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   465
	height: 39px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   466
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   467
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   468
ul#graphnodes li .info {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   469
	display: block;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   470
	position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   471
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   472
/** end of canvas **/