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
a.disabled {
36
    pointer-events: none;
37
    cursor: default;
38

39
    color: #6e7074;
40
}
41

42
img.inline {
43
    height: 1em;
44
}
45

46
/* DEMO */
47

48
#demo {
49
    margin: 0 0 1em -2.5em;
50
    padding: 0 2em 0 2em;
51

52
    border: 1px solid #e4e4e4;
53
    border-radius: 5px;
54
}
55

56
#demo #control {
57
    margin: 1em 0 2em 0;
58
}
59

60
#demo button #running {
61
    display: none;
62
}
63

64
#demo .scroll {
65
    overflow: scroll;
66
}
67

68
#demo #input.scroll {
69
    height: 50vh;
70
}
71

72
#demo #output.scroll {
73
    height: 90vh;
74
}
75

76
#demo #input {
77
    padding-top: 2em;
78
}
79

80
#demo #input {
81
    outline: none; 
82
}
83

84
#demo #output {
85
    padding: 1em 0 2em 0;
86
}
87

88
#demo #output pre {
89
    font-family: monospace;
90
    font-size: 14px;
91
}
92

93
#demo #examples {
94
    margin-top: 1em;
95
}
96

97
/* OTHER */
98

99
#articles ul {
100
    padding-left: 0;
101
    list-style-type: none;
102
}
103

104
#libs dt, #princ dt {
105
    margin-top: 1em;
106
}
107

108
.table td, .table th {
109
    padding: 0.5em 0.5em 0.5em 0;
110
}
111

112
/* COMPAT */
113

114
/* https://stackoverflow.com/questions/20435166/contenteditable-not-working-in-safari-but-works-in-chrome */
115
[contenteditable] {
116
    -webkit-user-select: text;
117
    user-select: text;
118
}
119

120