2020-frama-c/style.css

   1 /* Red Hat red is rgb(238,0,0). */
   2
   3 body {
   4     background: url(redhat.png) no-repeat;
   5     background-position: 98% 6px;
   6     background-size: auto 48px;
   7     /* font-size: 28pt; */ /* For max */
   8     font-size: 20pt; /* For 1024x768 */
   9     font-family: Red Hat Text, liberation, helvetica;
  10     /* font-family: helvetica; */
  11
  12     /* Can be used to scale the whole document. */
  13     /*transform: translate(-10%,-10%) scale(0.75,0.75);*/
  14 }
  15
  16 body td, body th { /* why?? */
  17     font-size: 24pt;
  18     padding-bottom: 8px;
  19 }
  20
  21 h1 {
  22     color: rgb(238,0,0);
  23     /*font-size: 48px;*/
  24     font-size: 40px;
  25     top: 8;
  26     left: 0;
  27     border-bottom: 2px solid rgb(238,0,0);
  28 }
  29
  30 h2 {
  31     color: rgb(238,0,0);
  32     font-size: 32px;
  33     font-style: italic;
  34     border-bottom: 2px solid rgb(238,0,0);
  35 }
  36
  37 b {
  38     color: rgb(238,0,0);
  39 }
  40
  41 /* Title page. */
  42 div#titlepage {
  43     margin-top: 100px;
  44     width: 80%;
  45     margin-left: 10%;
  46 }
  47
  48 div#titlepage p.title {
  49     color: rgb(238,0,0);
  50     font-weight: bold;
  51     font-size: 48px;
  52     text-align: left;
  53 }
  54
  55 div#titlepage p.author {
  56     font-size: 36px;
  57     text-align: left;
  58 }
  59
  60 div#titlepage p.abstract {
  61     font-size: 28px;
  62     text-align: left;
  63 }
  64
  65 /* Code */
  66 pre.code {
  67     margin-left: 1em;
  68     background: #eee;
  69 }
  70
  71 code {
  72     color: rgb(238,0,0);
  73 }
  74 span.comment {
  75     color: rgb(238,0,0);
  76 }
  77
  78 /* Bullet points */
  79 li {
  80     padding-bottom: 16px;
  81 }
  82
  83 /* For images which must be centered on the page. */
  84 div.allcenter {
  85     display: flex;
  86     justify-content: center;
  87     align-items: center;
  88     height: 50vw;
  89 }
  90
  91 div.all-center img {
  92 }
  93
  94 /* Attribution for artwork etc. */
  95 p.attribution {
  96     position: absolute;
  97     right: 10px;
  98     bottom: 10px;
  99     text-align: right;
 100     font-size: 10pt;
 101 }
 102
 103 /* Tables */
 104 table#border {
 105     border-collapse: collapse;
 106 }
 107
 108 table#border th, table#border td {
 109     border: 1px solid black;
 110 }