blob: e5b9d134633a920fb54cf6b1b07cc53a738f0b92 (
plain)
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
|
html {
box-sizing: border-box;
}
*,
*:before,
*:after {
box-sizing: inherit;
}
html,
body,
#container {
height: 100%;
margin: 0;
overflow: hidden;
}
#container {
display: flex;
flex-direction: column;
}
#container > header,
#container > footer,
#container > .eventlog {
flex: 0 0 auto;
}
#main {
flex: 1 1 auto;
overflow: auto;
}
header {
background-color: white;
}
header .title-bar {
line-height: 25px;
text-align: center;
}
header nav {
border-bottom: solid #a6a6a6 1px;
}
header nav a {
display: inline-block;
padding: 3px 14px;
margin: 0 2px -1px;
border: solid transparent 1px;
}
header nav a.active {
border-color: #a6a6a6;
border-bottom-color: white;
}
header nav a:hover {
/*
@preview: lightgrey;
border-top-color: @preview;
border-left-color: @preview;
border-right-color: @preview;
*/
text-decoration: none;
}
header nav a.special {
color: white;
background-color: #396cad;
border-bottom-color: #396cad;
}
header nav a.special:hover {
background-color: #5386c6;
}
header .menu {
padding: 10px;
border-bottom: solid #a6a6a6 1px;
}
.eventlog {
flex: 0 0 auto;
}
.eventlog pre {
margin: 0;
border-radius: 0;
height: 200px;
overflow: auto;
}
.eventlog .close-button {
float: right;
margin: -9px;
padding: 4px;
cursor: pointer;
color: grey;
}
.eventlog .close-button:hover {
color: black;
}
footer {
box-shadow: 0 -1px 3px #d3d3d3;
padding: 0px 10px 3px;
}
/*# sourceMappingURL=../css/app.css.map */
|
