time-to-botec

Benchmark sampling in different programming languages
Log | Files | Refs | README

style.css (3708B)


      1 /*--------------------- Layout and Typography ----------------------------*/
      2 body {
      3   font-family: "Lato", "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Verdana, Tahoma, sans-serif;
      4   font-size: 1.2em;
      5   line-height: 1.4667em;
      6   color: #222;
      7   margin: 0; padding: 0;
      8 }
      9 a {
     10   color: #0050c0;
     11   text-decoration: underline;
     12 }
     13   a:visited {
     14     color: #b950b7;
     15     text-decoration: underline;
     16   }
     17   a:hover, a:focus {
     18     text-decoration: none;
     19   }
     20   
     21     code a:hover {
     22       background: none;
     23       color: #b950b7;
     24     }
     25 
     26 #changelog #gtoc {
     27   display: none;
     28 }
     29 
     30 .notice {
     31   display: block;
     32   padding: 1em;
     33   margin: 1.4667em 0 2.9334em;
     34   background:#FFF6BF;
     35   color:#514721;
     36   border:1px solid #FFD324;
     37 }
     38   .notice p {
     39     margin: 0;
     40   }
     41 
     42 ul.plain {
     43   list-style: none;
     44 }
     45 
     46 abbr {
     47   border-bottom: 1px dotted #454545;
     48 }
     49 
     50 p {
     51   margin: 0 0 1.4667em 0;
     52   position: relative;
     53   text-rendering: optimizeLegibility;
     54   font-size: 1em;
     55 }
     56 
     57 ol, ul, dl {
     58   margin: 0 0 1em 0;
     59   padding: 0;
     60 }
     61 
     62 ol ul, ol ol, ol dl,
     63 ul ul, ul ol, ul dl,
     64 dl ul, dl ol, dl dl {
     65   margin-bottom: 0;
     66 }
     67 
     68 ol p:first-child, ul p:first-child, dl p:first-child {
     69   margin-bottom: 0;
     70 }
     71 
     72 ul, ol {
     73   margin-left: 2em;
     74 }
     75 
     76 
     77 dl dt {
     78   position: relative;
     79   margin: 1.5em 0 0;
     80 }
     81 
     82 dl dd {
     83   position: relative;
     84   margin: 0 1em 0;
     85 }
     86 
     87 dd + dt.pre {
     88   margin-top: 1.6em;
     89 }
     90 
     91 h1, h2, h3, h4, h5, h6 {
     92   font-family: "Lato", "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Verdana, Tahoma, sans-serif;
     93   color: #000;
     94   text-rendering: optimizeLegibility;
     95   position: relative;
     96 }
     97 
     98 h1 {
     99   font-size: 2em;
    100   line-height: 1.375em;
    101 }
    102 
    103 h2 {
    104   font-size: 1.4em;
    105   line-height: 1.227em;
    106   margin: 0 0 0.5em;
    107 }
    108 
    109 h3 {
    110   font-size: 1.3em;
    111   line-height: 1.0909em;
    112   margin: 1.5em 0 0.5em;
    113 }
    114 
    115 h3 + h3 {
    116   margin: 0 0 0.5em;
    117 }
    118 
    119 h4 {
    120   font-size: 1.2em;
    121   line-height: 1.1282em;
    122   margin: 2.2em 0 0.5em;
    123 }
    124 
    125 h4 + h4 {
    126   margin: 0 0 0.5em;
    127 }
    128 
    129 h5 {
    130   font-size: 1.125em;
    131   line-height: 1.6em;
    132 }
    133 
    134 h6 {
    135   font-size: 1em;
    136   line-height: 1.4667em;
    137 }
    138 
    139   pre, tt, code {
    140     font-size: 0.9em;
    141     line-height: 1.5438em;
    142     font-family: Monaco, Consolas, "Lucida Console", monospace;
    143     margin: 0; padding: 0;
    144   }
    145   
    146   .pre {
    147     font-family: Monaco, Consolas, "Lucida Console", monospace;
    148     line-height: 1.5438em;
    149     font-size: 0.95em;
    150   }
    151 
    152   pre {
    153     padding: 1em;
    154     vertical-align: top;
    155     background: #f8f8f8;
    156     border: 1px solid #e8e8e8;
    157     border-width: 1px 1px 1px 6px;
    158     margin: -0.5em 0 1.1em;
    159   }
    160   
    161   pre + h3 {
    162     margin-top: 2.225em;
    163   }
    164 
    165 code.pre {
    166   white-space: pre;
    167 }
    168 
    169 #container {
    170   position: relative;
    171   padding: 6em;
    172   max-width: 50em;
    173   text-align: left;
    174 }
    175 
    176 #container header {
    177   margin: 1.25em -0.5em 1.3em;
    178   padding: 0 0.5em 0.225em;
    179 }
    180 
    181 hr {
    182   background: none;
    183   border: medium none;
    184   border-bottom: 1px solid #ccc;
    185   margin: 5em 0 2em;
    186 }
    187 
    188 #container header hr {
    189   margin: 0;
    190   padding: 0;
    191 }
    192 
    193 #toc {
    194   
    195 }
    196 
    197   #toc h2 {
    198     font-size: 1.5em;
    199     line-height: 1.6em;
    200   }
    201   
    202   #toc h2 a {
    203     float: right;
    204   }
    205   
    206   #toc hr {
    207     margin: 1em 0 2em;
    208   }
    209 
    210   #toc > ul {
    211     font-size: 0.9em;
    212     line-height: 1.6em;
    213   }
    214 
    215   #toc > ul > li > ul > li {
    216     padding-top: 0.5em;
    217   }
    218 
    219 p tt, p code {
    220   background: #f8f8ff;
    221   border: 1px solid #dedede;
    222   padding: 0 0.2em;
    223 }
    224 
    225 a.octothorpe {
    226   text-decoration: none;
    227   color: #777;
    228   position: absolute;
    229   top: 0; left: -1.4em;
    230   padding: 1px 2px;
    231   opacity: 0;
    232   -webkit-transition: opacity 0.2s linear;
    233 }
    234     p:hover  > a.octothorpe, 
    235     dt:hover > a.octothorpe,
    236     dd:hover > a.octothorpe,
    237     h1:hover > a.octothorpe,
    238     h2:hover > a.octothorpe,
    239     h3:hover > a.octothorpe,
    240     h4:hover > a.octothorpe,
    241     h5:hover > a.octothorpe,
    242     h6:hover > a.octothorpe {
    243       opacity: 1;
    244     }