include/css/aple.css

   1 body {
   2         color: #000;
   3         background-color: #acc;
   4         text-align: justify;
   5         padding: 0px 30px 0px 25px;
   6         font-size: 110%;
   7 }
   8
   9 h1 {
  10         font-size: 160%;
  11 }
  12
  13 h2 {
  14         font-size: 130%;
  15 }
  16
  17 h3 {
  18         font-size: 110%;
  19 }
  20
  21 code {
  22         font-size: 130%;
  23 }
  24
  25 p {
  26         padding: 0px 0px 0px 0px;
  27 }
  28
  29
  30 .logo {
  31         border: 0px;
  32 }
  33
  34 table {
  35         margin-left: 0px;
  36         margin-right: auto;
  37         border: none;
  38         padding: 10px 0px 10px 0px;
  39 }
  40
  41 table.menu {
  42         padding: none;
  43         border: 0px;
  44         border-spacing: 0px;
  45 }
  46
  47 table.logo {
  48         margin-left: 0px;
  49 }
  50
  51 td {
  52         border: 2px #9bb solid;
  53         padding: 5px;
  54 }
  55
  56 td.logo {
  57         border: none;
  58 }
  59
  60 td.menu {
  61         border: none;
  62         vertical-align: top;
  63 }
  64
  65 svg {
  66         float: left;
  67 }
  68
  69 #title
  70 {
  71         vertical-align: middle;
  72         border: 0px;
  73 }
  74
  75 .overview {
  76         margin: 1% 5% 1% 5%;
  77         font-size: 90%;
  78 }
  79
  80 div.solution {
  81         margin: 0% 3% 0% 3%;
  82         font-size: 95%;
  83 }
  84 div.diffctx {
  85         font-family: monospace;
  86         color: #000;
  87 }
  88 div.diffadd {
  89         font-family: monospace;
  90         color: #085;
  91 }
  92 div.diffdel {
  93         font-family: monospace;
  94         color: #a08;
  95 }
  96
  97 dt {
  98         text-decoration: underline;
  99 }
 100
 101 .dropdown {
 102         position: fixed;
 103         top: 0; /* Position the navbar at the top of the page */
 104         left: 0;
 105 }
 106
 107 .dropdown-content {
 108         display: none;
 109         background-color: #8aa;
 110         padding: 6px 25px 0px 30px;
 111 }
 112
 113 .dropdown:hover .dropdown-content {
 114         display: block;
 115         font-size: 80%;
 116 }