Decrease font size of menu.
[aple.git] / include / css / aple.css
1 body {
2         background-color: #aacccc;
3         text-align: justify;
4         padding: 0px 30px 0px 25px;
5
6 }
7
8 h1 {
9         font-size: 150%;
10 }
11
12 .logo {
13         border: 0px;
14         padding: 0em 20px 0px 0px;
15         margin-left: 0px;
16         margin-right: 0px;
17         border: 0px;
18 }
19
20 table {
21         margin-left: auto;
22         margin-right: auto;
23         border: none;
24 }
25
26 td {
27         border: 2px #9bb solid;
28         padding: 5px;
29 }
30
31 svg {
32         float: left;
33 }
34
35 #title
36 {
37         vertical-align: middle;
38         border: 0px;
39 }
40
41 #overview_heading {
42         text-align: center;
43         font-weight: bold;
44 }
45
46 #overview_text {
47         margin: 1% 5% 1% 5%;
48         font-size: 95%;
49 }
50
51 div.solution {
52         margin: 0% 3% 0% 3%;
53         font-size: 95%;
54 }
55 div.diffctx {
56         font-family: monospace;
57         color: #000;
58 }
59 div.diffadd {
60         font-family: monospace;
61         color: #085;
62 }
63 div.diffdel {
64         font-family: monospace;
65         color: #a08;
66 }
67
68 dt {
69         text-decoration: underline;
70 }
71
72 #chapter_list {
73         font-size: 120%;
74 }
75
76 .dropdown {
77         position: fixed;
78         top: 0; /* Position the navbar at the top of the page */
79         left: 0;
80 }
81
82 .dropdown-content {
83         display: none;
84         background-color: #8aa;
85         min-width: 300px;
86         padding: 12px 12px;
87         font-size: 75%;
88 }
89
90 .dropdown:hover .dropdown-content {
91         display: block;
92 }