2015-virt-tools/style.css

   1 /* Red Hat red is rgb(204,0,0). */
   2
   3 body {
   4     background: url(redhat.png) no-repeat;
   5     background-position: 98% 0;
   6     /* font-size: 28pt; */ /* For max */
   7     font-size: 20pt; /* For 1024x768 */
   8     /* font-family: liberation, helvetica; */
   9     font-family: helvetica;
  10 }
  11
  12 body td, body th { /* why?? */
  13     font-size: 24pt;
  14     padding-bottom: 8px;
  15 }
  16
  17 h1 {
  18     color: rgb(204,0,0);
  19     /*font-size: 48px;*/
  20     font-size: 40px;
  21     top: 8;
  22     left: 0;
  23     border-bottom: 2px solid rgb(204,0,0);
  24 }
  25
  26 b {
  27     color: rgb(204,0,0);
  28 }
  29
  30 div#titlepage {
  31     margin-top: 100px;
  32     text-align: center;
  33 }
  34
  35 div#titlepage p.title {
  36     color: rgb(204,0,0);
  37     font-weight: bold;
  38     font-size: 48px;
  39 }
  40
  41 div#titlepage author {
  42     font-size: 36px;
  43 }
  44
  45 /* Code */
  46 pre.code {
  47     margin-left: 1em;
  48     background: #eee;
  49 }
  50
  51 code {
  52     color: rgb(204,0,0);
  53 }
  54
  55 /* Bullet points */
  56 li {
  57     padding-bottom: 16px;
  58 }
  59
  60 /* Logo */
  61 img#fish {
  62     position: absolute;
  63     top: 128px;
  64     right: 32px;
  65     width: 200px;
  66     /*height: 256px;*/
  67 }