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
|
.title { text-align: center; font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; margin: 1px 1px 10px 1px; font-size: 300%; font-weight: bold; }
.table-of-contents { font-family: monospace; color: red; }
.timestamp { font-family: monospace; color: darkgreen; }
h1,h2 { font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; color:black;background-color:#F0F8FF; }
h2,h3,h4 { color: darkblue; }
body {font-family: Palatino, 'Palatino Linotype', serif; color:black; font-size: large }
div.banner { background-color: #336699; color: white ; margin: -10px; }
div.menu { background-color: #d5d5d5; }
div.uri:before { content: "⇒"; }
div.footer { color: #336699; background-color: white }
div.gemini { text-align: right; font-size: 75% }
div.text { font-family: Sans-Serif; }
div.list { font-family: Sans-Serif; }
div.verbatim { color: black; background-color: lightyellow; border-style:outset; font-family: palatino font, monospace; border-width: 2px ; font-size:110%; font-weight:bold; }
div.quote { font-family: palatino font, monospace; font-weight: bold; color: darkblue ; font-size:90%; border-left: 4px solid rgb(4, 170, 109); }
div.quotation { font-family: palatino font, monospace; font-size:80%; }
pre { margin: 15px; }
pre.example { font-family: prestige, monospace; color:black; font-size:70%; background-color: lightyellow; }
pre.src { font-family: prestige, monospace; font-weight: bold; color:white; font-size:80%; background-color: black; }
.github-btn-container {
margin: 13px 0px;
display: flex;
width: 95vw;
justify-content: flex-end;
}
.github-btn {
display: flex;
justify-content: center;
border: 2px solid #357ebd;
background: lightgrey;
padding: 0px 2px;
width: 130px;
border-radius: 16px;
}
.github-btn a {
align-self: center;
font-weight: bold;
color: #357ebd;
}
.github-btn a img {
height: 40px;
width: 40px;
padding-left:5px;
}
|
