frontend/style.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

body {
	margin: 0;
}

input {
	width: 100%;
}

.docset-parent {
	width: 100%;
}

#docset-page {
	border: solid;
	flex-grow: 4;
	max-height: 100vh;
}

#header {
	display: none;
	text-align: center;
}

#main-body {
	display: flex;
	height: 100vh;
}

#searchbar {
	border: solid;
	display: inline-block;
}