doc/style.css

   1 body {
   2  background-color: #aaa;
   3  margin: 10pt;
   4  padding-left: 8%;
   5  padding-right: 8%;
   6 }
   7
   8 h1 {
   9  background-color: transparent;
  10  border-top: 1px solid #bc8517;
  11  border-bottom: 1px solid #bc8517;
  12 }
  13
  14 h2 {
  15  color: #bc6217;
  16  padding-bottom: .2em;
  17  border-bottom: 1px solid #db7521;
  18  font-weight: bolder;
  19 }
  20
  21 h3 {
  22  color: Black;
  23  padding-top: 1em;
  24 }
  25
  26 a, a:visited {
  27  color: #333;
  28  font-style: oblique;
  29  font-weight: bolder;
  30  text-decoration: none;
  31 }
  32
  33 a:hover {
  34  color: #aaa;
  35  font-style: oblique;
  36  font-weight: bolder;
  37  text-decoration: none;
  38 }
  39
  40 li {
  41  list-style-type: disc;
  42  margin-bottom: 4px;
  43 }
  44
  45 pre {
  46  padding: .5em .5em .5em .5em;
  47  border: 1px solid Black;
  48  border-style: dashed;
  49  background-color: #bbc;
  50  display: inline-block;
  51 }
  52
  53 /* main div */
  54 #body {
  55  color: Black;
  56  background-color: #ffffc7;
  57 }
  58
  59 #logo_picture {
  60  position: relative;
  61  top: 0.1em;
  62  left: 0.5em;
  63  display: inline;
  64 }
  65
  66 #logo_picture_prim {
  67  position: relative;
  68  display: inline;
  69  left: 0.2em;
  70  top: 30px;
  71 }
  72
  73 #logo {
  74  background-color: #f7e177;
  75 }
  76
  77 #clever_line {
  78  font-size: 40%;
  79  color: #bc6217;
  80  float: right;
  81  position: relative;
  82  top: 10px;
  83 }
  84
  85 #content {
  86  padding: 0 2em 1em 12em;
  87 }
  88
  89 #menu {
  90  float: left;
  91  color: #eee;
  92  width: 10em;
  93  margin: 0em 0em 1em 1em;
  94  padding: 0;
  95  border: 1px solid #bc6217;
  96  background-color: #f7e177;
  97 }
  98
  99 #cleaner {
 100  clear: both;
 101 }
 102
 103 #footer {
 104  background-color: #f7e177;
 105  text-align: center;
 106  padding-top: .3em;
 107  padding-bottom: .3em;
 108  color: #bc6217;
 109  border-top: 1px solid #bc6217;
 110  border-bottom: 1px solid #bc6217;
 111 }
 112
 113 /* text markers */
 114 #term {
 115         font-variant: small-caps;
 116 }
 117
 118 #path {
 119         font-style: italic;
 120 }
 121
 122 #command {
 123         font-style: oblique;
 124 }
 125
 126 /* right menu basic style */
 127 .menu-tree {
 128  line-height: 2em;
 129  margin: 0 0 0 1em;
 130  padding: 0;
 131 }
 132
 133 .menu-tree-item {
 134  font-size: 89%;
 135  display: block;
 136  margin: 0;
 137  padding: 0;
 138 }
 139
 140 .menu-tree-item a {
 141  font-variant: small-caps;
 142  text-decoration: none;
 143  font-style: normal;
 144  padding-top: 0.2em;
 145  padding-bottom: 0.25em;
 146  color: #db7521;
 147 }
 148
 149 .menu-tree-item a:hover {
 150  color: #eee;
 151 }