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
33
34
35
36
37
38
39
40

body {
	margin: 0;
}

input {
	width: 100%;
}

.docset-parent {
	width: 100%;
}

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

#docset-table {
	border-top: solid;
}

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

#main-body {
	display: flex;
}

#searchbar {
	max-width: 20vw;
}

#sidebar {
	border-right: solid;
	display: inline-grid;
	height: 100vh;
}