src/css/default.css

   1 #body {
   2     margin-left: 250px;
   3     margin-right: 20px;
   4     padding: 10px;
   5     font-size: 11pt;
   6     font-family: arial, sans-serif;
   7 }
   8
   9 #header {
  10     background-color: #FFFFFF;
  11     height: 85px;
  12     text-align: right;
  13     font-size: 10pt;
  14     position: relative;
  15 }
  16
  17 #header h1 {
  18     color: #CCCCCC;
  19     font-weight: bold;
  20     border-bottom: 0px;
  21 }
  22
  23 #toplogo {
  24     border: 0px;
  25     float: left;
  26 }
  27
  28 #all {
  29     background-color: #CCCCCC;
  30 }
  31
  32 #headerbar {
  33     background: transparent url(../images/bg1.gif) repeat scroll 0%;
  34     border: 3px solid #CCCCCC;
  35     margin: 0pt;
  36     height: 22px;
  37     color: #CCCCCC;
  38     font-size: 85%;
  39     font-weight: normal;
  40 }
  41
  42 .breadcrumbs {
  43     color:#CCCCCC;
  44     font-size:85%;
  45     font-weight:normal;
  46     margin-bottom:0.3em;
  47     margin-left:0px;
  48     margin-top:0px;
  49     padding:0px 0.1em;
  50 }
  51
  52 .breadcrumbs a,
  53 .breadcrumbs a:visited,
  54 .breadcrumbs a:hover {
  55     border:0px none;
  56 }
  57
  58 #headerbar  .left, .right {
  59     vertical-align: middle;
  60     padding: 0px 1em;
  61 }
  62
  63 .left {
  64     float: left;
  65     text-align: left;
  66 }
  67
  68 .right {
  69     float: right;
  70     text-align: right;
  71 }
  72
  73 pre {
  74    padding-left: 5em;
  75 }
  76
  77 pre code {
  78     display: block;
  79     background-color: #CCCCCC;
  80     border: 1px dotted #CCCCCC;
  81     color: black;
  82     font-size: 85%;
  83     font-family: monospace;
  84     padding: 1em;
  85 }
  86
  87 /* styling the menu */
  88
  89 #menu_outer {
  90     width: 230px;
  91     float: left;
  92     margin-top: 10px;
  93     font-size: 70%;
  94
  95 }
  96
  97 #menu_title {
  98     background:transparent url(../images/bg1.gif) repeat scroll 0% 50%;
  99     border:1px solid #CCCCCC;
 100     color:#0073BB;
 101     font-weight:bold;
 102     margin-bottom:2px;
 103     padding:3px;
 104     text-align:left;
 105     font-weight: bold;
 106     font-family: arial;
 107 }
 108
 109 #menu {
 110      padding: 20px 0px 0px 2px;
 111      border: 1px solid #CCCCCC;
 112      color: #0073BB;
 113      overflow: hidden;
 114      padding-bottom: 0.7em;
 115      padding-top: 0.5em;
 116      text-align: left;
 117      margin-top:3px;
 118      font-family: arial, sans-serif;
 119 }
 120
 121 #menu a, #menu span {
 122     color:#0073BB;
 123     text-decoration: none;
 124     font-weight: normal;
 125     font-size: 120%;
 126 }
 127
 128 #menu a:hover {
 129     text-decoration: underline;
 130 }
 131
 132 #menu .webgen-menu-item-selected {
 133     border-left: 3px solid #0073BB;
 134 }
 135
 136 #menu ul {
 137     list-style-type: none;
 138     padding: 0px;
 139     margin-left: 10px;
 140 }
 141
 142 #menu li > ul {
 143     font-size: 95%;
 144 }
 145
 146 #menu li {
 147     margin: 0.0em 0px;
 148     padding: 2px 0px;
 149     padding-left: 5px;
 150     border-left: 3px solid #CCCCCC;
 151 }
 152
 153
 154 /* ---------- Headers -------- */
 155 h1, h2, h3, h4, h5 {
 156     background-color: transparent;
 157     font-size: 100%;
 158     font-weight: normal;
 159     margin-left:    0;
 160     margin-right:   0;
 161     margin-top:     0;
 162     margin-bottom:  1em;
 163     padding-left:   0;
 164     padding-right:  0;
 165     padding-top:    0.5em;
 166     padding-bottom: 0;
 167     border-bottom: 1px solid #CCCCCC;
 168     color: #0073bb;
 169 }
 170
 171
 172 /* special headlines */
 173 h1 {font-size: 135%; font-weight: normal;}
 174 h2 {font-size: 115%; border-bottom: none; font-weight: normal;}
 175 h3 {font-size: 105%; border-bottom: none; font-weight: normal;}
 176 h4 {font-size: 90%; border-bottom: none; font-weight: normal;}
 177 h5 {font-size: 80%; border-bottom: none; font-weight: normal;}
 178
 179
 180 h1 a, h2 a, h3 a, h4 a, h5 a {color: #0073bb;}
 181
 182 /* ---------- links ---------- */
 183
 184 a {
 185     text-decoration: underline;
 186     color: #999999;
 187 }
 188
 189 a:visited {
 190     color: #999999;
 191 }
 192
 193 a:hover {
 194     color: #cccccc;
 195 }