2019-fosdem/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     /* Can be used to scale the whole document. */
  12     /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
  13 }
  14
  15 body td, body th { /* why?? */
  16     font-size: 24pt;
  17     padding-bottom: 8px;
  18 }
  19
  20 h1 {
  21     color: rgb(204,0,0);
  22     /*font-size: 48px;*/
  23     font-size: 40px;
  24     top: 8;
  25     left: 0;
  26     border-bottom: 2px solid rgb(204,0,0);
  27 }
  28
  29 h2 {
  30     color: rgb(204,0,0);
  31     font-size: 32px;
  32     font-style: italic;
  33     border-bottom: 2px solid rgb(204,0,0);
  34 }
  35
  36 b {
  37     color: rgb(204,0,0);
  38 }
  39
  40 /* Title page. */
  41 div#titlepage {
  42     margin-top: 100px;
  43     width: 80%;
  44     margin-left: 10%;
  45 }
  46
  47 div#titlepage p.title {
  48     color: rgb(204,0,0);
  49     font-weight: bold;
  50     font-size: 48px;
  51     text-align: left;
  52 }
  53
  54 div#titlepage p.author {
  55     font-size: 36px;
  56     text-align: left;
  57 }
  58
  59 div#titlepage p.abstract {
  60     font-size: 28px;
  61     text-align: left;
  62 }
  63
  64 /* Code */
  65 pre.code {
  66     margin-left: 1em;
  67     background: #eee;
  68 }
  69
  70 code {
  71     color: rgb(204,0,0);
  72 }
  73
  74 /* Bullet points */
  75 li {
  76     padding-bottom: 16px;
  77 }
  78
  79 /* Plugins box. */
  80 div.plugins {
  81     background: #f8f8ff;
  82     border: 1px solid rgb(204,0,0);
  83     border-radius: 15px;
  84     width: 800px;
  85     height: 400px;
  86     /* Position relative is needed so that items may be
  87        positioned inside. */
  88     position: relative;
  89 }
  90
  91 div.plugins p#caption {
  92     position: absolute;
  93     bottom: -5px; right: 5px;
  94     color: rgb(204,0,0);
  95     text-align: right;
  96     font-size: 16px;
  97     font-weight: bold;
  98 }
  99
 100 div.plugins ul {
 101     position: absolute;
 102     top: 10%;
 103     width: 700px;
 104     height: 380px;
 105     column-count: 4;
 106     list-style-type: none;
 107     margin: 0;
 108 }
 109
 110 div.plugins ul li {
 111     padding: 1px;
 112     margin: 5px;
 113 }
 114
 115 div.plugins ul li.highlighted {
 116     border: 1px solid rgb(204,0,0);
 117     background: #fff;
 118     padding-left: 10px;
 119     color: rgb(204,0,0);
 120     border-radius: 20px;
 121     font-weight: bold;
 122 }
 123
 124 /* Filters box. */
 125 div.filters {
 126     background: #f8fff8;
 127     border: 1px solid rgb(204,0,0);
 128     border-radius: 15px;
 129     width: 800px;
 130     height: 200px;
 131     /* Position relative is needed so that items may be
 132        positioned inside. */
 133     position: relative;
 134 }
 135
 136 div.filters p.filtercaption {
 137     position: absolute;
 138     bottom: -5px; right: 5px;
 139     color: rgb(204,0,0);
 140     text-align: right;
 141     font-size: 16px;
 142     font-weight: bold;
 143 }
 144
 145 div.filters ul {
 146     position: absolute;
 147     top: 10%;
 148     width: 700px;
 149     height: 180px;
 150     column-count: 4;
 151     list-style-type: none;
 152     margin: 0;
 153 }
 154
 155 div.filters ul li {
 156     padding: 1px;
 157     margin: 5px;
 158 }
 159
 160 div.filters ul li.highlighted {
 161     border: 1px solid rgb(204,0,0);
 162     background: #fff;
 163     padding-left: 10px;
 164     color: rgb(204,0,0);
 165     border-radius: 20px;
 166     font-weight: bold;
 167 }