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