css/master.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

@import "devibeans.css";

body {
  color: #005f87;
  background: #000000;
  font-family: "DejaVuSansMono NF", Helvetica, monospace;
}

.article{$
  text-align: left;
  padding: 2%;
  border-style: solid;
  position: relative;
  white-space: -moz-pre-wrap !important;
  color: #005f87;
  background: #000000;
  font-family: "DejaVuSansMono NF", Helvetica, monospace;
  overflow-wrap: break-word;
  float: left;
  /* width: 78%; */
  width: 95%;
}

.sidenav {
  padding: 2%;
  color: #005f87;
  height: 100%;
  border-style: solid;
  position: relative;
  /* z-index: 0; */
  top: 0;
  right: 0;
  background-color: #000000;
  overflow-x: hidden;
  text-align: left;
  float: right;
  width: 13%;
}

a {
  color: #005f87;
  text-decoration: none;
}

hr {
  color: #005f87;
}

.left-footer {
  float: left;
}

.right-footer {
  float: right;
}

a:link {
  color: #005faf;
}

a:visited {
  color: #008787;
}