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
  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 h2 {
  27     color: rgb(204,0,0);
  28     font-size: 32px;
  29     font-style: italic;
  30     border-bottom: 2px solid rgb(204,0,0);
  31 }
  32
  33 b {
  34     color: rgb(204,0,0);
  35 }
  36
  37 /* Title page. */
  38 div#titlepage {
  39     margin-top: 100px;
  40     width: 80%;
  41     margin-left: 10%;
  42 }
  43
  44 div#titlepage p.title {
  45     color: rgb(204,0,0);
  46     font-weight: bold;
  47     font-size: 48px;
  48     text-align: left;
  49 }
  50
  51 div#titlepage p.author {
  52     font-size: 36px;
  53     text-align: left;
  54 }
  55
  56 div#titlepage p.abstract {
  57     font-size: 28px;
  58     text-align: left;
  59 }
  60
  61 /* Code */
  62 pre.code {
  63     margin-left: 1em;
  64     background: #eee;
  65 }
  66
  67 code {
  68     color: rgb(204,0,0);
  69 }
  70
  71 /* Bullet points */
  72 li {
  73     padding-bottom: 16px;
  74 }
  75
  76 /* Plugins box. */
  77 div.plugins {
  78     background: #f8f8ff;
  79     border: 1px solid rgb(204,0,0);
  80     border-radius: 15px;
  81     width: 800px;
  82     height: 400px;
  83     /* Position relative is needed so that items may be
  84        positioned inside. */
  85     position: relative;
  86     column-count: 4;
  87 }
  88
  89 div.plugins p#caption {
  90     position: absolute;
  91     bottom: -5px; right: 5px;
  92     color: rgb(204,0,0);
  93     text-align: right;
  94     font-size: 16px;
  95     font-weight: bold;
  96 }
  97
  98 div.plugins ul {
  99     list-style-type: none;
 100     top: 50%;
 101     transform: translateY(15%);
 102     margin: 0;
 103 }
 104
 105 div.plugins ul li {
 106     padding: 4px;
 107     margin: 5px;
 108 }
 109
 110 div.plugins ul li.highlighted {
 111     border: 1px solid rgb(204,0,0);
 112     background: #fff;
 113     padding-left: 10px;
 114     color: rgb(204,0,0);
 115     border-radius: 20px;
 116     font-weight: bold;
 117 }