/* fix: use sass w/ variables */

  body {
   font-family: sans-serif;
   background-color: #F4F4F4;
   color: #333333;
  }

  a, a:visited {
   text-decoration: none;
   color: maroon;
  }

  a:hover {
   text-decoration: underline;
   color: #1E68A6;
   background-color: yellow;
  }

 a.nav ,
 a.visited.nav ,
 a:hover.nav  {
   text-decoration: none;
   color: #333333;
   background-color: #F4F4F4;
 }

  .count,
  .key {
    font-size: 12px;
    color: grey;
  }

  /* fix: use .small instead */
  .smaller {
    font-size: 12px;
    /* color: #666666; */ /* lighter gray than text gray */
  }

.table-result td {

white-space: nowrap;

}

/** version block **********/

.version {

text-align: center;
margin-top: 10px;
color: grey; }
.version a, .version span {
  font-size: 12px;
  color: grey; }

/***************************/