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 }