Home | History | Annotate | Download | only in benchmarks 
      1 hr {
      2   border: 1px solid;
      3   border-color: #36C;
      4   margin: 1em 0;
      5 }
      6 
      7 h1, h2, h3, h4 {
      8   margin: 0;
      9   margin-bottom: 0;
     10 }
     11 
     12 h1 {
     13   font-size: 154%;
     14   height: 1.2em;
     15 }
     16 
     17 
     18 li {
     19   margin: .3em 0 1em 0;
     20 }
     21 
     22 body {
     23   font-family: Helvetica,Arial,sans-serif;
     24   color: #000;
     25   background-color: #fff;
     26 }
     27 
     28 div.title {
     29   background-color: rgb(229, 236, 249);
     30   border-top: 1px solid rgb(51, 102, 204);
     31   text-align: center;
     32   padding-top: 0.2em;
     33   padding-bottom: 0.2em;
     34   margin-bottom: 20px;
     35 }
     36 
     37 div.subtitle {
     38   border-bottom: 1px solid rgb(51, 102, 204);
     39   margin-top: 2em;
     40 }
     41 
     42 td.contents {
     43   text-align: left;
     44 }
     45 
     46 div.run {
     47   margin: 20px;
     48   width: 300px;
     49   height: 300px;
     50   float: right;
     51   background-color: rgb(229, 236, 249);
     52   background-image: url(v8-logo.png);
     53   background-position: center center;
     54   background-repeat: no-repeat;
     55   border: 1px solid rgb(51, 102, 204);
     56 }
     57 
     58 div.warning { 
     59   background: #ffffd9;
     60   border: 1px solid #d2d26a;
     61   display: none;
     62   margin: 1em 0 2em;
     63   padding: 8px;
     64   text-align: center; 
     65 }
     66 
     67 #status {
     68   text-align: center;
     69   margin-top: 50px;
     70   font-size: 120%;
     71   font-weight: bold;
     72 }
     73 
     74 #results {
     75   text-align: left;
     76   margin: 30px 0 0 90px;
     77 }
     78