css/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
87
88
89

html, body {
    color: #000;
    background: #fff;
}

h1 {
    color: #080;
    background: #eee;
    font-size: 15pt;
    text-align: center;
}
h2 {
    color: #080;
}
h3 {
    color: #090;
}
h4 {
    color: #0a0;
}

dt {
    margin-top: 1ex;
}

dt:first-child {
    margin-top: 0;
}

li {
  margin-bottom: 0.5ex;
  padding: 0;
}

#PageHeader {
    border: none;
    padding: 0;
    left: 0;
    top: 0;
    font-family: sans-serif;
    font-size: larger;
    text-align: left;
}

#PageBanner {
    padding: 0;
    display: block;
    float: left;
}

#PageContent {
    margin: 0;
    padding: 0;
    border: 0;
    clear: left;
}

/* Used for formatting math */
table.math-table { border: 0; }
table.math-table td { padding: 0.2em 1em 0.2em 0; border: 0 }
dl.math-dl dt { padding-bottom: 0.2em; }
dl.math-dl dd { padding-bottom: 0.4em; }

/*
#PageContent h1:first-child,
#PageContent h2:first-child
{
    margin-top: 0;
}
*/

.skip-nav-link {
    color: #080;
    background: white;
    padding: .5rem 1.5rem;
    border-color: #080;
    border-radius: 0 0 .25rem .25rem;
    position: absolute;
    left: 0.5rem;
    top: 0;
    transform: translateY(-120%);
    transition: transform 325ms ease-in;
}

.skip-nav-link:focus {
    transform: translateY(0);
}

/* vim:set ts=4 sw=4 sts=4 expandtab: */