Websites/perf.webkit.org/public/common.css

   1
   2 html, body {
   3     margin: 0;
   4     padding: 0;
   5 }
   6
   7 body {
   8     background-repeat: repeat-x;
   9     font-family: sans-serif;
  10     padding: 10px;
  11 }
  12
  13 #title {
  14     background-image: linear-gradient(bottom, rgb(240,240,240) 31%, rgb(255,255,255) 90%);
  15     background-image: -o-linear-gradient(bottom, rgb(240,240,240) 31%, rgb(255,255,255) 90%);
  16     background-image: -moz-linear-gradient(bottom, rgb(240,240,240) 31%, rgb(255,255,255) 90%);
  17     background-image: -webkit-linear-gradient(bottom, rgb(240,240,240) 31%, rgb(255,255,255) 90%);
  18     background-image: -ms-linear-gradient(bottom, rgb(240,240,240) 31%, rgb(255,255,255) 90%);
  19     -moz-box-shadow:    1px 1px 3px 1px #ccc;
  20     -webkit-box-shadow: 1px 1px 3px 1px #ccc;
  21     box-shadow:         1px 1px 3px 1px #ccc;
  22     padding: 5px 10px;
  23     margin: 0 0 10px 0;
  24     border-radius: 5px;
  25     position: relative;
  26 }
  27
  28 #title h1 {
  29     font-weight: normal;
  30     text-shadow: #bbb 1px 1px 2px;
  31     margin: 0;
  32     padding: 0;
  33     font-size: 2em;
  34 }
  35 #title li, #title ul {
  36     list-style: none;
  37     margin: 0;
  38     padding: 0;
  39 }
  40
  41 #title li {
  42     display: inline;
  43 }
  44
  45 #title li:after {
  46     content: ' | ';
  47 }
  48
  49 #title li:last-child:after {
  50     content: '';
  51 }
  52
  53 #title ul {
  54     position: absolute;
  55     vertical-align: middle;
  56     top: 5px;
  57     right: 20px;
  58     padding-top: 0.6em;
  59 }
  60
  61 a {
  62     text-decoration: none;
  63     color: #000;
  64     text-shadow: #bbb 1px 1px 2px;
  65 }