2 background-color: #fff;
5 header .container { width: 100%; }
6 header .container div#navbar {
10 background-color: #fff;
12 header .container div#navbar div { float: left; }
13 header .container div#navbar div.logo {
16 header .container div#navbar div#lang {
19 header .container div#navbar div#lang div.container {
24 box-shadow: 1px 2px 2px #000;
26 header .container div#navbar div#lang div.item {
27 padding: 26px 1em 0 1em;
31 background-color: #fff;
34 header .container div#navbar div#lang div.item:hover {
35 background-color: #c8c8c8;
37 header .container div#navbar div#lang div#current-lang {
41 background-color: #084;
45 div#docs-header .container {
49 background-color: #0a4;
51 div#docs-header .container .buttons-container {
54 div#docs-header .container .buttons-container .inner-container {
59 div#docs-header .container .buttons-container .button {
61 background-color: #fff;
68 div#docs-header .container .buttons-container .pressed {
69 background-color: #c8c8c8;
75 background-color: #fff;
87 footer div.container {
88 margin: 2em .5em .5em .5em;
90 border-top: 1px solid #c8c8c8;
95 text-decoration: none;
98 text-decoration: underline;