css/custom.css

   1 div#title,div#subtitle{
   2         font-family: "Liberation Mono","DejaVu Sans Mono","Lucida Console",monospace;
   3         font-weight: bold;
   4         text-align: center;
   5         padding: 0;
   6         margin: 0;
   7 }
   8
   9 div#title{
  10         font-size: 7em;
  11 }
  12
  13 div#subtitle{
  14         font-size: 3em;
  15 }
  16
  17 span.i{
  18         color: #C00;
  19 }
  20
  21 span.Eval{
  22         color: #0C0;
  23 }
  24
  25 footer{
  26         width: 60em;
  27         margin: auto;
  28         margin-top: 6em;
  29         white-space: pre-wrap;
  30         color: #777;
  31 }
  32
  33 #logo {
  34         margin: 5em auto 2em;
  35         display: block;
  36 }
  37
  38 h1 {
  39         font-size: 2em !important;
  40 }
  41
  42 .txtstuff {
  43     overflow: hidden;
  44 }
  45
  46 .hiddendiv {
  47     display: none;
  48     white-space: pre-wrap;
  49     word-wrap: break-word;
  50     overflow-wrap: break-word; /* future version of deprecated 'word-wrap' */
  51 }
  52
  53 a.thumbnail {
  54         border: none !important;
  55 }
  56
  57 div.container-fluid {
  58         padding: 0 15px;
  59 }
  60
  61 .list-group-item {
  62         max-width: 30em;
  63 }