1 7d6d378a 2022-08-24 op * {
  2 7d6d378a 2022-08-24 op     box-sizing: border-box;
  3 7d6d378a 2022-08-24 op }
  4 7d6d378a 2022-08-24 op 
  5 7d6d378a 2022-08-24 op body {
  6 7d6d378a 2022-08-24 op     margin: 0;
  7 7d6d378a 2022-08-24 op     padding: 0;
  8 7d6d378a 2022-08-24 op     border: 0;
  9 7d6d378a 2022-08-24 op     font: 14px sans-serif;
 10 7d6d378a 2022-08-24 op }
 11 7d6d378a 2022-08-24 op 
 12 7d6d378a 2022-08-24 op header.mail-header {
 13 7d6d378a 2022-08-24 op     background-color: #ced7e0;
 14 7d6d378a 2022-08-24 op     padding: 5px 10px;
 15 7d6d378a 2022-08-24 op     margin: 10px 0;
 16 7d6d378a 2022-08-24 op }
 17 7d6d378a 2022-08-24 op 
 18 7d6d378a 2022-08-24 op header.mail-header img {
 19 7d6d378a 2022-08-24 op     vertical-align: middle;
 20 7d6d378a 2022-08-24 op }
 21 7d6d378a 2022-08-24 op 
 22 7d6d378a 2022-08-24 op header dl {
 23 7d6d378a 2022-08-24 op     display: flex;
 24 7d6d378a 2022-08-24 op     flex-wrap: wrap;
 25 7d6d378a 2022-08-24 op     margin: 0;
 26 7d6d378a 2022-08-24 op }
 27 7d6d378a 2022-08-24 op 
 28 7d6d378a 2022-08-24 op header dt {
 29 822ac1d6 2022-08-24 op     width: 64px;
 30 7d6d378a 2022-08-24 op }
 31 7d6d378a 2022-08-24 op 
 32 7d6d378a 2022-08-24 op header dd {
 33 7d6d378a 2022-08-24 op     margin-left: auto;
 34 822ac1d6 2022-08-24 op     width: calc(100% - 64px);
 35 7d6d378a 2022-08-24 op     flex-grow: 2;
 36 7d6d378a 2022-08-24 op }
 37 7d6d378a 2022-08-24 op 
 38 7d6d378a 2022-08-24 op header dt, header dd {
 39 7d6d378a 2022-08-24 op     padding: 3px 0;
 40 7d6d378a 2022-08-24 op }
 41 7d6d378a 2022-08-24 op 
 42 7d6d378a 2022-08-24 op header.index-header {
 43 7d6d378a 2022-08-24 op     text-align: center;
 44 7d6d378a 2022-08-24 op }
 45 7d6d378a 2022-08-24 op 
 46 7d6d378a 2022-08-24 op h1 {
 47 7d6d378a 2022-08-24 op     font-weight: normal;
 48 7d6d378a 2022-08-24 op     font-size: 1.8rem;
 49 7d6d378a 2022-08-24 op     margin: 0 0 1rem 0;
 50 7d6d378a 2022-08-24 op }
 51 7d6d378a 2022-08-24 op 
 52 8da1f918 2023-04-04 op summary {
 53 8da1f918 2023-04-04 op     cursor: pointer;
 54 8da1f918 2023-04-04 op     user-select: none;
 55 8da1f918 2023-04-04 op }
 56 8da1f918 2023-04-04 op 
 57 50794f47 2023-04-04 op form {
 58 50794f47 2023-04-04 op     text-align: center;
 59 50794f47 2023-04-04 op }
 60 50794f47 2023-04-04 op 
 61 dc9d5313 2023-04-04 op input {
 62 dc9d5313 2023-04-04 op     max-width: 180px;
 63 dc9d5313 2023-04-04 op }
 64 dc9d5313 2023-04-04 op 
 65 181eab11 2023-04-04 op .notice {
 66 181eab11 2023-04-04 op     padding: 1rem;
 67 181eab11 2023-04-04 op }
 68 181eab11 2023-04-04 op 
 69 7d6d378a 2022-08-24 op main {
 70 7d6d378a 2022-08-24 op     padding: 5px;
 71 7d6d378a 2022-08-24 op }
 72 7d6d378a 2022-08-24 op 
 73 7d6d378a 2022-08-24 op pre {
 74 7d6d378a 2022-08-24 op     font-family: monospace;
 75 7d6d378a 2022-08-24 op     padding: 5px;
 76 7d6d378a 2022-08-24 op     white-space: pre-wrap;
 77 7d6d378a 2022-08-24 op }
 78 7d6d378a 2022-08-24 op 
 79 7d6d378a 2022-08-24 op hr {
 80 7d6d378a 2022-08-24 op     display: none;
 81 7d6d378a 2022-08-24 op }
 82 7d6d378a 2022-08-24 op 
 83 7d6d378a 2022-08-24 op .thread {
 84 584d65d8 2022-08-24 op     margin: 1rem 0;
 85 7d6d378a 2022-08-24 op }
 86 7d6d378a 2022-08-24 op 
 87 85fd8f63 2023-04-01 op .thread > p {
 88 85fd8f63 2023-04-01 op     padding: 0 1rem;
 89 85fd8f63 2023-04-01 op }
 90 85fd8f63 2023-04-01 op 
 91 7d6d378a 2022-08-24 op .thread p {
 92 7d6d378a 2022-08-24 op     margin: 0;
 93 7d6d378a 2022-08-24 op }
 94 7d6d378a 2022-08-24 op 
 95 61acbd55 2023-09-03 op .thread .excerpt {
 96 61acbd55 2023-09-03 op     margin-left: 10px;
 97 61acbd55 2023-09-03 op     margin-top: 5px;
 98 61acbd55 2023-09-03 op }
 99 61acbd55 2023-09-03 op 
100 7d6d378a 2022-08-24 op .thread a {
101 7d6d378a 2022-08-24 op     text-decoration: none;
102 7d6d378a 2022-08-24 op }
103 7d6d378a 2022-08-24 op 
104 7d6d378a 2022-08-24 op .thread a:hover {
105 7d6d378a 2022-08-24 op     text-decoration: underline;
106 7d6d378a 2022-08-24 op }
107 7d6d378a 2022-08-24 op 
108 584d65d8 2022-08-24 op .thread ul {
109 584d65d8 2022-08-24 op     padding-left: 1rem;
110 584d65d8 2022-08-24 op     list-style: none;
111 584d65d8 2022-08-24 op }
112 584d65d8 2022-08-24 op 
113 878c6311 2022-08-25 op .thread ul   { border-left: 1px dashed #cacaca; }
114 878c6311 2022-08-25 op .thread > ul { border-left: 0px; }
115 584d65d8 2022-08-24 op 
116 7d6d378a 2022-08-24 op .mail {
117 822ac1d6 2022-08-24 op     padding: 0.5rem 5px;
118 7d6d378a 2022-08-24 op }
119 7d6d378a 2022-08-24 op 
120 7d6d378a 2022-08-24 op .mail:target {
121 7d6d378a 2022-08-24 op     background-color: khaki;
122 7d6d378a 2022-08-24 op }
123 7d6d378a 2022-08-24 op 
124 7d6d378a 2022-08-24 op .mail .mail-meta {
125 7d6d378a 2022-08-24 op     font-size: 13px;
126 7d6d378a 2022-08-24 op }
127 7d6d378a 2022-08-24 op 
128 7d6d378a 2022-08-24 op .mail.reply .subject {
129 7d6d378a 2022-08-24 op     overflow: hidden;
130 7d6d378a 2022-08-24 op     text-overflow: ellipsis;
131 7d6d378a 2022-08-24 op     white-space: pre;
132 7d6d378a 2022-08-24 op }
133 7d6d378a 2022-08-24 op 
134 2eb655f1 2022-08-27 op nav {
135 d18a077f 2022-08-26 op     margin: 1rem;
136 cef2c415 2022-08-24 op     text-align: center;
137 cef2c415 2022-08-24 op }
138 cef2c415 2022-08-24 op 
139 85b7371b 2023-04-01 op nav a, nav span {
140 cef2c415 2022-08-24 op     display: inline-block;
141 85b7371b 2023-04-01 op     margin: 0 .7rem;
142 cef2c415 2022-08-24 op }
143 cef2c415 2022-08-24 op 
144 7d6d378a 2022-08-24 op footer {
145 7d6d378a 2022-08-24 op     margin-top: 70px;
146 e588f9d0 2022-08-24 op     border-top: 1px solid #333;
147 7d6d378a 2022-08-24 op }
148 7d6d378a 2022-08-24 op 
149 7d6d378a 2022-08-24 op footer > p {
150 7d6d378a 2022-08-24 op     text-align: center;
151 7d6d378a 2022-08-24 op }
152 7d6d378a 2022-08-24 op 
153 7d6d378a 2022-08-24 op footer ul {
154 7d6d378a 2022-08-24 op     padding: 0;
155 7d6d378a 2022-08-24 op     text-align: center;
156 7d6d378a 2022-08-24 op }
157 7d6d378a 2022-08-24 op 
158 7d6d378a 2022-08-24 op footer li {
159 7d6d378a 2022-08-24 op     display: inline-block;
160 7d6d378a 2022-08-24 op     padding: 8px;
161 7d6d378a 2022-08-24 op }
162 e588f9d0 2022-08-24 op 
163 e588f9d0 2022-08-24 op 
164 e588f9d0 2022-08-24 op /* dark theme */
165 e588f9d0 2022-08-24 op @media (prefers-color-scheme: dark) {
166 e588f9d0 2022-08-24 op     body {
167 05415a6d 2022-08-26 op         color: #eeeff1;
168 05415a6d 2022-08-26 op         background-color: #1e1f21;
169 e588f9d0 2022-08-24 op     }
170 e588f9d0 2022-08-24 op 
171 e588f9d0 2022-08-24 op     a {
172 05415a6d 2022-08-26 op         color: #bad7ff;
173 e588f9d0 2022-08-24 op     }
174 e588f9d0 2022-08-24 op 
175 e588f9d0 2022-08-24 op     header.mail-header {
176 e588f9d0 2022-08-24 op         background-color: #390039;
177 e588f9d0 2022-08-24 op     }
178 e588f9d0 2022-08-24 op 
179 e5f34c99 2022-08-24 op     .mail:target {
180 e5f34c99 2022-08-24 op         background-color: #574f03;
181 e5f34c99 2022-08-24 op     }
182 e5f34c99 2022-08-24 op 
183 e588f9d0 2022-08-24 op     footer {
184 e588f9d0 2022-08-24 op         border-color: #ffffea;
185 e588f9d0 2022-08-24 op     }
186 e588f9d0 2022-08-24 op }