mercurial/templates/static/style-monoblue.css
author Siddharth Agarwal <sid0@fb.com>
Tue, 15 Jul 2014 15:01:52 -0700
changeset 21913 50aad4609224
parent 20255 b1d65cb8c759
child 23744 d1933c2e3c8c
permissions -rw-r--r--
util.re: move check for re2 into a separate method We're going to use the same check for another method in an upcoming patch.
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;
12666
ead4e21f49f1 web: add a help view for getting hg help output
Augie Fackler <durin42@gmail.com>
parents: 12353
diff changeset
    86
    width: 900px;
7112
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
}
19023
86531a7038ed codingstyle: remove trailing spaces in various text files
Mads Kiilerich <madski@unity3d.com>
parents: 18258
diff changeset
   207
table tr td.closed {
86531a7038ed codingstyle: remove trailing spaces in various text files
Mads Kiilerich <madski@unity3d.com>
parents: 18258
diff changeset
   208
  background-color: #99f;
12353
0c2c969e032b hgweb: be consistent with the background highlighting on closed branches (Issue2386)
Ryan Phillips <ryan@trolocsis.com>
parents: 9999
diff changeset
   209
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   210
/*
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   211
table tr.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   212
table tr.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   213
  background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   214
}
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.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   217
  background: #F1F6F7;
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.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   220
  background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   221
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   222
table tr td {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   223
  padding: 5px 5px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   224
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   225
table.annotated tr td {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   226
  padding: 0px 5px;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   227
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   228
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   229
span.logtags span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   230
  padding: 2px 6px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   231
  font-weight: normal;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   232
  font-size: 11px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   233
  border: 1px solid;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   234
  background-color: #ffaaff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   235
  border-color: #ffccff #ff00ee #ff00ee #ffccff;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   236
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   237
span.logtags span.tagtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   238
  background-color: #ffffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   239
  border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   240
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   241
span.logtags span.branchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   242
  background-color: #aaffaa;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   243
  border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   244
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   245
span.logtags span.inbranchtag {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   246
  background-color: #d5dde6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   247
  border-color: #e3ecf4 #9398f4 #9398f4 #e3ecf4;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   248
}
13794
5c18a0bca26f hgweb: add bookmark labels to monoblue theme (based on 270f57d35525)
Yuya Nishihara <yuya@tcha.org>
parents: 12666
diff changeset
   249
span.logtags span.bookmarktag {
5c18a0bca26f hgweb: add bookmark labels to monoblue theme (based on 270f57d35525)
Yuya Nishihara <yuya@tcha.org>
parents: 12666
diff changeset
   250
  background-color: #afdffa;
5c18a0bca26f hgweb: add bookmark labels to monoblue theme (based on 270f57d35525)
Yuya Nishihara <yuya@tcha.org>
parents: 12666
diff changeset
   251
  border-color: #ccecff #46ace6 #46ace6 #ccecff;
5c18a0bca26f hgweb: add bookmark labels to monoblue theme (based on 270f57d35525)
Yuya Nishihara <yuya@tcha.org>
parents: 12666
diff changeset
   252
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   253
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   254
div.diff pre {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   255
  margin: 10px 0 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   256
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   257
div.diff pre span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   258
  font-family: monospace;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   259
  white-space: pre;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   260
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   261
  padding: 3px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   262
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   263
td.source {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   264
  white-space: pre;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   265
  font-family: monospace;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   266
  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
   267
  font-size: 1.2em;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   268
  font-family: monospace;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   269
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   270
  div.source div.parity0,
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
    padding: 1px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   273
    font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   274
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   275
  div.source div.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   276
    background: #F1F6F7;
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
  div.source div.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   279
    background: #FFFFFF;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   280
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   281
div.parity0:hover,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   282
div.parity1:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   283
  background: #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   284
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   285
.linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   286
  color: #999;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   287
  text-align: right;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   288
}
8162
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   289
.lineno {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   290
  text-align: right;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   291
}
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   292
.lineno a {
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   293
  color: #999;
6f14253416bd monoblue: Fix indentation and other styling in the annotation view.
Augie Fackler <durin42@gmail.com>
parents: 7205
diff changeset
   294
}
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   295
td.linenr {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   296
  width: 60px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   297
}
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 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   300
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   301
  width: 75px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   302
  top: 15px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   303
  right: 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   304
  font-size: 1.2em;
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
div#powered-by a {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   307
  color: #EEE;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   308
  text-decoration: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   309
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   310
div#powered-by a:hover {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   311
  text-decoration: underline;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   312
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   313
/*
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   314
div#monoblue-corner-top-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   315
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   316
  top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   317
  left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   318
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   319
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   320
  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
   321
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   322
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   323
div#monoblue-corner-top-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   324
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   325
  top: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   326
  right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   327
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   328
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   329
  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
   330
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   331
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   332
div#monoblue-corner-bottom-left {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   333
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   334
  bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   335
  left: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   336
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   337
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   338
  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
   339
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   340
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   341
div#monoblue-corner-bottom-right {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   342
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   343
  bottom: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   344
  right: 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   345
  width: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   346
  height: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   347
  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
   348
  background: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   349
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   350
*/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   351
/** end of common settings **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   352
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   353
/** summary **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   354
dl.overview {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   355
  margin: 0 0 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   356
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   357
  overflow: hidden;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   358
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   359
  dl.overview dt,
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   360
  dl.overview dd {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   361
    margin: 5px 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   362
    float: left;
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
  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
   365
    clear: left;
7112
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   366
    font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   367
    width: 150px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   368
  }
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   369
/** end of summary **/
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
/** chagelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   372
h3.changelog {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   373
  margin: 20px 0 5px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   374
  padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   375
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   376
  border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   377
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   378
ul.changelog-entry {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   379
  margin: 0 0 10px 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   380
  list-style-type: none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   381
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   382
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   383
ul.changelog-entry li span.revdate {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   384
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   385
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   386
ul.changelog-entry li.age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   387
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   388
  top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   389
  right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   390
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   391
  color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   392
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   393
  font-style: italic;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   394
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   395
ul.changelog-entry li span.name {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   396
  font-size: 1.2em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   397
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   398
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   399
ul.changelog-entry li.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   400
  margin: 10px 0 0;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   401
  font-size: 1.1em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   402
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   403
/** end of changelog **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   404
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   405
/** file **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   406
p.files {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   407
  margin: 0 0 0 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   408
  font-size: 2.0em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   409
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   410
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   411
/** end of file **/
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
/** changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   414
h3.changeset {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   415
  margin: 20px 0 5px 20px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   416
  padding: 0 0 2px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   417
  font-size: 1.6em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   418
  border-bottom: dotted 1px #D5E1E6;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   419
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   420
p.changeset-age {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   421
  position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   422
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   423
p.changeset-age span {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   424
  position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   425
  top: -25px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   426
  right: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   427
  font-size: 1.4em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   428
  color: #CCC;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   429
  font-weight: bold;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   430
  font-style: italic;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   431
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   432
p.description {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   433
  margin: 10px 30px 0 30px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   434
  padding: 10px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   435
  border: solid 1px #CCC;
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
/** end of changeset **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   439
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   440
/** canvas **/
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   441
div#wrapper {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   442
	position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   443
    font-size: 1.2em;
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
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   446
canvas {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   447
	position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   448
	z-index: 5;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   449
	top: -0.7em;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   450
}
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
ul#nodebgs li.parity0 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   453
    background: #F1F6F7;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   454
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   455
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   456
ul#nodebgs li.parity1 {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   457
    background: #FFFFFF;
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#graphnodes {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   461
	position: absolute;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   462
	z-index: 10;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   463
	top: 7px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   464
	list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   465
}
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
ul#nodebgs {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   468
	list-style: none inside none;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   469
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   470
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   471
ul#graphnodes li, ul#nodebgs li {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   472
	height: 39px;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   473
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   474
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   475
ul#graphnodes li .info {
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   476
	display: block;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   477
	position: relative;
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   478
}
c9b88695d894 [PATCH 2 of 2] Re: created hgweb theme - monoblue
"Hiroshi Funai" <hfunai@gmail.com>
parents:
diff changeset
   479
/** end of canvas **/
17202
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   480
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   481
/** comparison **/
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   482
.legend {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   483
    margin-left: 20px;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   484
    padding: 1.5% 0 1.5% 0;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   485
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   486
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   487
.legendinfo {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   488
    border: 1px solid #999;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   489
    font-size: 80%;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   490
    text-align: center;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   491
    padding: 0.5%;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   492
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   493
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   494
.equal {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   495
    background-color: #ffffff;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   496
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   497
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   498
.delete {
17243
106cdea0183d hgweb: improve colors for comparison page
Matt Mackall <mpm@selenic.com>
parents: 17202
diff changeset
   499
    background-color: #faa;
106cdea0183d hgweb: improve colors for comparison page
Matt Mackall <mpm@selenic.com>
parents: 17202
diff changeset
   500
    color: #333;
17202
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   501
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   502
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   503
.insert {
17243
106cdea0183d hgweb: improve colors for comparison page
Matt Mackall <mpm@selenic.com>
parents: 17202
diff changeset
   504
    background-color: #ffa;
17202
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   505
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   506
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   507
.replace {
17243
106cdea0183d hgweb: improve colors for comparison page
Matt Mackall <mpm@selenic.com>
parents: 17202
diff changeset
   508
    background-color: #e8e8e8;
17202
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   509
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   510
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   511
.comparison {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   512
    overflow-x: auto;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   513
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   514
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   515
.comparison table td {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   516
    padding: 0px 5px;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   517
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   518
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   519
.header th {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   520
    font-weight: bold;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   521
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   522
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   523
.block {
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   524
    border-top: 1px solid #999;
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   525
}
1ae119269ddc hgweb: side-by-side comparison functionality
wujek srujek
parents: 13794
diff changeset
   526
/** end of comparison **/
18258
bebb05a7e249 hgweb: add a "URL breadcrumb" to the index and repository pages
Angel Ezquerra <angel.ezquerra at gmail.com>
parents: 17243
diff changeset
   527
bebb05a7e249 hgweb: add a "URL breadcrumb" to the index and repository pages
Angel Ezquerra <angel.ezquerra at gmail.com>
parents: 17243
diff changeset
   528
.breadcrumb a:hover {
bebb05a7e249 hgweb: add a "URL breadcrumb" to the index and repository pages
Angel Ezquerra <angel.ezquerra at gmail.com>
parents: 17243
diff changeset
   529
    text-decoration:underline;
bebb05a7e249 hgweb: add a "URL breadcrumb" to the index and repository pages
Angel Ezquerra <angel.ezquerra at gmail.com>
parents: 17243
diff changeset
   530
}
20255
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   531
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   532
.scroll-loading {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   533
  -webkit-animation: change_color 1s linear 0s infinite alternate;
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   534
  -moz-animation: change_color 1s linear 0s infinite alternate;
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   535
  -o-animation: change_color 1s linear 0s infinite alternate;
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   536
  animation: change_color 1s linear 0s infinite alternate;
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   537
}
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   538
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   539
@-webkit-keyframes change_color {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   540
  from { background-color: #A0CEFF; } to {  }
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   541
}
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   542
@-moz-keyframes change_color {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   543
  from { background-color: #A0CEFF; } to {  }
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   544
}
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   545
@-o-keyframes change_color {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   546
  from { background-color: #A0CEFF; } to {  }
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   547
}
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   548
@keyframes change_color {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   549
  from { background-color: #A0CEFF; } to {  }
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   550
}
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   551
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   552
.scroll-loading-error {
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   553
    background-color: #FFCCCC !important;
b1d65cb8c759 hgweb: infinite scroll support for monoblue style
Takumi IINO <trot.thunder@gmail.com>
parents: 19023
diff changeset
   554
}