natasha.github.io

1

2
body {
3
    font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Verdana, sans-serif;
4
    font-size: 16px;
5
    line-height: 1.3;
6
    margin-top: 2em;
7
    margin-bottom: 2em;
8
}
9

10
h1, h2, h3 {
11
    line-height: 1;
12
    letter-spacing: -0.04em;
13
    margin-top: 0;
14
}
15

16
h1 {
17
    font-size: 40px;
18
    margin-bottom: 0.5em;
19
}
20

21
h2 {
22
    font-size: 25px;
23
    margin-top: 0.5em;
24
}
25

26
h3 {
27
    font-size: 20px;
28
}
29

30
a {
31
    color: #1f77b4;
32
    text-decoration: underline;
33
}
34

35
code {
36
    color: black;
37
}
38

39
.note {
40
    font-family: monospace;
41
    font-size: 13px;
42
}
43

44
.hanging-arrow {
45
    margin-left: -1em;
46
}
47

48
img.inline {
49
    height: 1em;
50
}
51

52
/* EVAL */
53

54
#eval td, #eval th {
55
    vertical-align: top;
56
    padding: 0 1em .5em 0;
57
}
58

59
#eval th {
60
    font-weight: normal;
61
}
62

63
/* EXAMPLES */
64

65
.examples dt {
66
    font-weight: normal;
67
    margin-bottom: 1em;
68
}
69

70
.example {
71
    margin-left: 20px;
72
}
73

74
span.example {  /* inside <p> */
75
    display: block
76
}
77

78
/* PARTITION */
79

80
.partition .fill-split, .partition .split {
81
    padding: .2em 0 .2em 0;
82
}
83

84
.errors .fill-split {
85
    border-left: solid 1px #ef5350;
86
    border-right: solid 1px #ef5350;
87
    background: #ffcdd2;
88
}
89

90
.errors .split {
91
    border-left: solid 1px #ef5350;
92
    border-right: solid 2px #ffcdd2;
93
}
94

95
.cands .fill-split {
96
    border-left: solid 1px #64b5f6;
97
    border-right: solid 1px #64b5f6;
98
    background: #e3f2fd;
99
}
100

101
.cands .split {
102
    border-left: solid 1px #64b5f6;
103
    border-right: solid 2px #e3f2fd;
104
}
105

106
.joins .fill-split {
107
    border-left: solid 1px #9E9E9E;
108
    border-right: solid 1px #9E9E9E;
109
    background: #EEEEEE;
110
}
111

112
.joins .split {
113
    border-left: solid 1px #9E9E9E;
114
    border-right: solid 2px #EEEEEE;
115
}
116

117
/* FOOTER */
118

119
#footer ul {
120
    padding-left: 0em;
121
}
122

123
#footer li {
124
    list-style: none;
125
}
126