summaryrefslogtreecommitdiff
path: root/assets/_/header.html
blob: 7fd3553725bf6b28aabe3fe94dc7171c35f8660d (plain)
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
90
91
92
93
<!doctype html>
<!-- vi: set et ft=html ts=2 sts=2 sw=2 fenc=utf-8 :vi -->
<style>
/* i dont know css im so fucking sorry ill fix it l8r */
pre {
  white-space: pre-wrap;
  white-space: -moz-pre-wrap;
  white-space: -pre-wrap;
  white-space: -o-pre-wrap;
  word-wrap: break-word;
}
.remark {
  box-sizing: content-box;
  border-top: 0px solid #000;
  border-left: 0px solid #000;
  border-right: 0px solid #000;
  border-bottom: 1px solid #000;
  padding: 1vw;
  padding-top: 0;
}
.nav {
  border-bottom: 1px solid #000;
  padding: 1vw;
  padding-top: 0;
}
main {
  border: 1px #000 solid;
}
body {
  background-color: #eee;
}

@media only screen and (min-width: 800px) {

  p, a.sec, pre {
    padding: 0 4vw;
    /*align: center;
    display:flex;
    align-items: center;
    justify-content: center;*/
  }
}
pre {
  font-size: 12pt;
}
a, p { font-size: 14pt; }
a.splink { color: #005953; font-size: inherit; }
a.sec, a.menu, a.menuon {
  color: #005953;
  font-family: 'Iansui', serif;
  font-size: 1.5em;
}
a.sec:link, a.sec:visited, a.sec:active {
   text-decoration: none;
}
a.sec:hover, a.sec:focus {
   text-decoration: underline;
}
a.menu:link, a.menu:visited, a.menu:active {
   text-decoration: none;
}
a.menu:hover, a.menu:focus {
   text-decoration: underline;
}
@media (prefers-color-scheme: dark) {
  body {
    background-color: #222;
    color: #dcdccc;
  }
  .nav, .remark {
    border-bottom: 1px solid #dcdccc;
  }
  main {
    border: 1px #dcdccc solid;
  }
  a.splink, a.sec, a.menu, a.menuon { color: #51bd96; }
}
@font-face {
  font-family: 'Iansui';
  font-style: normal;
  font-display: swap;
  font-weight: 400;
  src: url(/_/iansui.woff2) format('woff2');
  unicode-range: U+3000-303F,U+3105-312F,U+4E00-9FFF;
}
body {
  max-width: 960px;
  margin-left: auto;
  margin-right: auto;
}

</style>
<meta name="viewport" content="width=device-width, initial-scale=1.0" />