Update CSS global stylesheet.

Now looks a lot more like the official OCaml website!

Commit
c67581470cbdf2a1c8efabce78afffb2e3a2a2c6
Author
Marius Peter <marius.peter@tutanota.com>
Author date
Committer
Marius Peter <marius.peter@tutanota.com>
Committer date
lib/static/styles.css
index cd87fc10..de2c3dbf 100644..100644
@@ -1,6 +1,8 @@
1 Added: @import url("fonts/Inter-4.1/web/inter.css");
2 Added:
1 3 body {
2 Removed: font-family: sans-serif;
3 Removed: max-width: 60em;
4 Added: font-family: Inter, sans-serif;
5 Added: max-width: 50em;
4 6 margin: auto;
5 7 padding: 0 1em;
6 8 background-color: #181818;
@@ -9,6 +11,7 @@
9 11
10 12 nav#top {
11 13 background-color: black;
14 Added: border-radius: 0.25rem;
12 15 }
13 16
14 17 nav#top ul {
@@ -20,6 +23,7 @@
20 23
21 24 nav#top ul li {
22 25 padding: 0.5em 0;
26 Added: border-radius: 0.25rem;
23 27 }
24 28
25 29 nav#top ul li a {
@@ -31,17 +35,37 @@
31 35 nav#top ul li a:hover {
32 36 background-color: white;
33 37 color: black;
34 Removed: text-decoration: revert;
35 38 }
36 39
37 Removed: ul {
38 Removed: padding-left: 1em;
40 Added: nav#top ul li#active {
41 Added: border-radius: 0.25rem;
42 Added: background-color: rgb(194, 79, 30);
39 43 }
40 44
41 Removed: li {
42 Removed: line-height: 1.5;
45 Added: nav#top ul li#active a:hover {
46 Added: border-radius: 0.25rem;
47 Added: background-color: rgb(132, 40, 0);
48 Added: color: white;
43 49 }
44 50
45 Removed: a {
51 Added: div#main ul {
52 Added: padding-left: 0;
53 Added: list-style: none;
54 Added: }
55 Added:
56 Added: div#main ul li {
57 Added: border: 1px solid #303030;
58 Added: }
59 Added:
60 Added: div#main ul li a {
61 Added: display: block;
46 62 color: white;
63 Added: text-decoration: none;
64 Added: padding: 0.5em;
65 Added: }
66 Added:
67 Added: div#main a:hover {
68 Added: background-color: white;
69 Added: color: black;
70 Added: text-decoration: revert;
47 71 }