web/static/main.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

@import url("base.css");

@font-face {
  font-family: "Linux Libertine";
  src: url("LinLibertine_Rah.ttf");
}

@font-face {
  font-family: "Linux Biolinum";
  src: url("LinBiolinum_Rah.ttf");
}

@font-face {
  font-family: Hack;
  src: url("Hack-Regular.ttf");
}

body {
  font-family: "Linux Libertine", serif;
  /* image from transparenttextures.com */
  background: url("graphy.png");
  font-size: 18px;
  padding: 0px;
  margin: 0px;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "Linux Biolinum", sans;
}

a:link, a:visited, a:active {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

code, pre, tt {
  font-family: Hack, mono;
  font-size: 0.8em;
}

div.navtabs-title {
  background: url("gears-up.png");
  background-position: bottom;
  background-repeat: repeat-x;
  padding: 15px;
  padding-bottom: 180px;
  padding-top: 50px;
  text-align: center;
  font-size: 3em;
}

div.navtabs-tabs {
  background: white;
  line-height: 1.5em;

  margin: 0px;
  padding: 0px;
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  border-bottom: 1px solid black;
  border-top: 1px solid black;
}

div.navtabs-tabs > a {
  margin: 15px 15px;
}

div.skribilo-body {
  padding: 15px 30px;
  background: white;
  line-height: 1.5em;
}

div.skribilo-ending {
  background: url("gears-down.png");
  background-position: top;
  background-repeat: repeat-x;
  padding: 15px;
  padding-top: 150px;
  text-align: right;
}