simple-squiggle

A restricted subset of Squiggle
Log | Files | Refs | README

base.css (5394B)


      1 body, html {
      2   margin:0; padding: 0;
      3   height: 100%;
      4 }
      5 body {
      6     font-family: Helvetica Neue, Helvetica, Arial;
      7     font-size: 14px;
      8     color:#333;
      9 }
     10 .small { font-size: 12px; }
     11 *, *:after, *:before {
     12   -webkit-box-sizing:border-box;
     13      -moz-box-sizing:border-box;
     14           box-sizing:border-box;
     15   }
     16 h1 { font-size: 20px; margin: 0;}
     17 h2 { font-size: 14px; }
     18 pre {
     19     font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
     20     margin: 0;
     21     padding: 0;
     22     -moz-tab-size: 2;
     23     -o-tab-size:  2;
     24     tab-size: 2;
     25 }
     26 a { color:#0074D9; text-decoration:none; }
     27 a:hover { text-decoration:underline; }
     28 .strong { font-weight: bold; }
     29 .space-top1 { padding: 10px 0 0 0; }
     30 .pad2y { padding: 20px 0; }
     31 .pad1y { padding: 10px 0; }
     32 .pad2x { padding: 0 20px; }
     33 .pad2 { padding: 20px; }
     34 .pad1 { padding: 10px; }
     35 .space-left2 { padding-left:55px; }
     36 .space-right2 { padding-right:20px; }
     37 .center { text-align:center; }
     38 .clearfix { display:block; }
     39 .clearfix:after {
     40   content:'';
     41   display:block;
     42   height:0;
     43   clear:both;
     44   visibility:hidden;
     45   }
     46 .fl { float: left; }
     47 @media only screen and (max-width:640px) {
     48   .col3 { width:100%; max-width:100%; }
     49   .hide-mobile { display:none!important; }
     50 }
     51 
     52 .quiet {
     53   color: #7f7f7f;
     54   color: rgba(0,0,0,0.5);
     55 }
     56 .quiet a { opacity: 0.7; }
     57 
     58 .fraction {
     59   font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
     60   font-size: 10px;
     61   color: #555;
     62   background: #E8E8E8;
     63   padding: 4px 5px;
     64   border-radius: 3px;
     65   vertical-align: middle;
     66 }
     67 
     68 div.path a:link, div.path a:visited { color: #333; }
     69 table.coverage {
     70   border-collapse: collapse;
     71   margin: 10px 0 0 0;
     72   padding: 0;
     73 }
     74 
     75 table.coverage td {
     76   margin: 0;
     77   padding: 0;
     78   vertical-align: top;
     79 }
     80 table.coverage td.line-count {
     81     text-align: right;
     82     padding: 0 5px 0 20px;
     83 }
     84 table.coverage td.line-coverage {
     85     text-align: right;
     86     padding-right: 10px;
     87     min-width:20px;
     88 }
     89 
     90 table.coverage td span.cline-any {
     91     display: inline-block;
     92     padding: 0 5px;
     93     width: 100%;
     94 }
     95 .missing-if-branch {
     96     display: inline-block;
     97     margin-right: 5px;
     98     border-radius: 3px;
     99     position: relative;
    100     padding: 0 4px;
    101     background: #333;
    102     color: yellow;
    103 }
    104 
    105 .skip-if-branch {
    106     display: none;
    107     margin-right: 10px;
    108     position: relative;
    109     padding: 0 4px;
    110     background: #ccc;
    111     color: white;
    112 }
    113 .missing-if-branch .typ, .skip-if-branch .typ {
    114     color: inherit !important;
    115 }
    116 .coverage-summary {
    117   border-collapse: collapse;
    118   width: 100%;
    119 }
    120 .coverage-summary tr { border-bottom: 1px solid #bbb; }
    121 .keyline-all { border: 1px solid #ddd; }
    122 .coverage-summary td, .coverage-summary th { padding: 10px; }
    123 .coverage-summary tbody { border: 1px solid #bbb; }
    124 .coverage-summary td { border-right: 1px solid #bbb; }
    125 .coverage-summary td:last-child { border-right: none; }
    126 .coverage-summary th {
    127   text-align: left;
    128   font-weight: normal;
    129   white-space: nowrap;
    130 }
    131 .coverage-summary th.file { border-right: none !important; }
    132 .coverage-summary th.pct { }
    133 .coverage-summary th.pic,
    134 .coverage-summary th.abs,
    135 .coverage-summary td.pct,
    136 .coverage-summary td.abs { text-align: right; }
    137 .coverage-summary td.file { white-space: nowrap;  }
    138 .coverage-summary td.pic { min-width: 120px !important;  }
    139 .coverage-summary tfoot td { }
    140 
    141 .coverage-summary .sorter {
    142     height: 10px;
    143     width: 7px;
    144     display: inline-block;
    145     margin-left: 0.5em;
    146     background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
    147 }
    148 .coverage-summary .sorted .sorter {
    149     background-position: 0 -20px;
    150 }
    151 .coverage-summary .sorted-desc .sorter {
    152     background-position: 0 -10px;
    153 }
    154 .status-line {  height: 10px; }
    155 /* yellow */
    156 .cbranch-no { background: yellow !important; color: #111; }
    157 /* dark red */
    158 .red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
    159 .low .chart { border:1px solid #C21F39 }
    160 .highlighted,
    161 .highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
    162   background: #C21F39 !important;
    163 }
    164 /* medium red */
    165 .cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
    166 /* light red */
    167 .low, .cline-no { background:#FCE1E5 }
    168 /* light green */
    169 .high, .cline-yes { background:rgb(230,245,208) }
    170 /* medium green */
    171 .cstat-yes { background:rgb(161,215,106) }
    172 /* dark green */
    173 .status-line.high, .high .cover-fill { background:rgb(77,146,33) }
    174 .high .chart { border:1px solid rgb(77,146,33) }
    175 /* dark yellow (gold) */
    176 .status-line.medium, .medium .cover-fill { background: #f9cd0b; }
    177 .medium .chart { border:1px solid #f9cd0b; }
    178 /* light yellow */
    179 .medium { background: #fff4c2; }
    180 
    181 .cstat-skip { background: #ddd; color: #111; }
    182 .fstat-skip { background: #ddd; color: #111 !important; }
    183 .cbranch-skip { background: #ddd !important; color: #111; }
    184 
    185 span.cline-neutral { background: #eaeaea; }
    186 
    187 .coverage-summary td.empty {
    188     opacity: .5;
    189     padding-top: 4px;
    190     padding-bottom: 4px;
    191     line-height: 1;
    192     color: #888;
    193 }
    194 
    195 .cover-fill, .cover-empty {
    196   display:inline-block;
    197   height: 12px;
    198 }
    199 .chart {
    200   line-height: 0;
    201 }
    202 .cover-empty {
    203     background: white;
    204 }
    205 .cover-full {
    206     border-right: none !important;
    207 }
    208 pre.prettyprint {
    209     border: none !important;
    210     padding: 0 !important;
    211     margin: 0 !important;
    212 }
    213 .com { color: #999 !important; }
    214 .ignore-none { color: #999; font-weight: normal; }
    215 
    216 .wrapper {
    217   min-height: 100%;
    218   height: auto !important;
    219   height: 100%;
    220   margin: 0 auto -48px;
    221 }
    222 .footer, .push {
    223   height: 48px;
    224 }