include/css/aple.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

body {
	color: #000;
	background-color: #acc;
	text-align: justify;
	padding: 0px 30px 0px 25px;
	font-size: 110%;
}

h1 {
	font-size: 160%;
}

h2 {
	font-size: 130%;
}

h3 {
	font-size: 110%;
}

code {
	font-size: 130%;
}

p {
	padding: 0px 0px 0px 0px;
}


.logo {
	border: 0px;
}

table {
	margin-left: 0px;
	margin-right: auto;
	border: none;
	padding: 10px 0px 10px 0px;
}

table.menu {
	padding: none;
	border: 0px;
	border-spacing: 0px;
}

table.logo {
	margin-left: 0px;
}

td {
	border: 2px #9bb solid;
	padding: 5px;
}

td.logo {
	border: none;
}

td.menu {
	border: none;
	vertical-align: top;
}

svg {
	float: left;
}

#title
{
	vertical-align: middle;
	border: 0px;
}

.overview {
	margin: 1% 5% 1% 5%;
	font-size: 90%;
}

div.solution {
	margin: 0% 3% 0% 3%;
	font-size: 95%;
}
div.diffctx {
	font-family: monospace;
	color: #000;
}
div.diffadd {
	font-family: monospace;
	color: #085;
}
div.diffdel {
	font-family: monospace;
	color: #a08;
}

dt {
	text-decoration: underline;
}

.dropdown {
	position: fixed;
	top: 0; /* Position the navbar at the top of the page */
	left: 0;
}

.dropdown-content {
	display: none;
	background-color: #8aa;
	padding: 6px 25px 0px 30px;
}

.dropdown:hover .dropdown-content {
	display: block;
	font-size: 80%;
}