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 7d6d378a 2022-08-24 op     width: 70px;
 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 7d6d378a 2022-08-24 op     width: calc(100% - 70px);
 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     margin: 20px 0;
 44 7d6d378a 2022-08-24 op     text-align: center;
 45 7d6d378a 2022-08-24 op }
 46 7d6d378a 2022-08-24 op 
 47 7d6d378a 2022-08-24 op h1 {
 48 7d6d378a 2022-08-24 op     font-weight: normal;
 49 7d6d378a 2022-08-24 op     font-size: 1.8rem;
 50 7d6d378a 2022-08-24 op     margin: 0 0 1rem 0;
 51 7d6d378a 2022-08-24 op }
 52 7d6d378a 2022-08-24 op 
 53 7d6d378a 2022-08-24 op main {
 54 7d6d378a 2022-08-24 op     padding: 5px;
 55 7d6d378a 2022-08-24 op }
 56 7d6d378a 2022-08-24 op 
 57 7d6d378a 2022-08-24 op pre {
 58 7d6d378a 2022-08-24 op     font-family: monospace;
 59 7d6d378a 2022-08-24 op     padding: 5px;
 60 7d6d378a 2022-08-24 op     white-space: pre-wrap;
 61 7d6d378a 2022-08-24 op }
 62 7d6d378a 2022-08-24 op 
 63 7d6d378a 2022-08-24 op hr {
 64 7d6d378a 2022-08-24 op     display: none;
 65 7d6d378a 2022-08-24 op }
 66 7d6d378a 2022-08-24 op 
 67 7d6d378a 2022-08-24 op .thread {
 68 7d6d378a 2022-08-24 op     margin: 2rem 0;
 69 7d6d378a 2022-08-24 op }
 70 7d6d378a 2022-08-24 op 
 71 7d6d378a 2022-08-24 op .thread p {
 72 7d6d378a 2022-08-24 op     margin: 0;
 73 7d6d378a 2022-08-24 op }
 74 7d6d378a 2022-08-24 op 
 75 7d6d378a 2022-08-24 op .thread a {
 76 7d6d378a 2022-08-24 op     text-decoration: none;
 77 7d6d378a 2022-08-24 op }
 78 7d6d378a 2022-08-24 op 
 79 7d6d378a 2022-08-24 op .thread a:hover {
 80 7d6d378a 2022-08-24 op     text-decoration: underline;
 81 7d6d378a 2022-08-24 op }
 82 7d6d378a 2022-08-24 op 
 83 7d6d378a 2022-08-24 op .mail {
 84 7d6d378a 2022-08-24 op     margin: 0.5rem 0;
 85 7d6d378a 2022-08-24 op }
 86 7d6d378a 2022-08-24 op 
 87 7d6d378a 2022-08-24 op .mail:target {
 88 7d6d378a 2022-08-24 op     background-color: khaki;
 89 7d6d378a 2022-08-24 op }
 90 7d6d378a 2022-08-24 op 
 91 7d6d378a 2022-08-24 op .mail .mail-meta {
 92 7d6d378a 2022-08-24 op     font-size: 13px;
 93 7d6d378a 2022-08-24 op }
 94 7d6d378a 2022-08-24 op 
 95 7d6d378a 2022-08-24 op .mail.reply .subject {
 96 7d6d378a 2022-08-24 op     overflow: hidden;
 97 7d6d378a 2022-08-24 op     text-overflow: ellipsis;
 98 7d6d378a 2022-08-24 op     white-space: pre;
 99 7d6d378a 2022-08-24 op }
100 7d6d378a 2022-08-24 op 
101 7d6d378a 2022-08-24 op .mail.indent-1  { padding-left: 10px; }
102 7d6d378a 2022-08-24 op .mail.indent-2  { padding-left: 20px; }
103 7d6d378a 2022-08-24 op .mail.indent-3  { padding-left: 30px; }
104 7d6d378a 2022-08-24 op .mail.indent-4  { padding-left: 40px; }
105 7d6d378a 2022-08-24 op .mail.indent-5  { padding-left: 50px; }
106 7d6d378a 2022-08-24 op .mail.indent-6  { padding-left: 60px; }
107 7d6d378a 2022-08-24 op .mail.indent-7  { padding-left: 70px; }
108 7d6d378a 2022-08-24 op .mail.indent-8  { padding-left: 80px; }
109 7d6d378a 2022-08-24 op .mail.indent-9  { padding-left: 90px; }
110 7d6d378a 2022-08-24 op .mail.indent-10 { padding-left: 100px; }
111 7d6d378a 2022-08-24 op 
112 7d6d378a 2022-08-24 op 
113 7d6d378a 2022-08-24 op footer {
114 7d6d378a 2022-08-24 op     margin-top: 70px;
115 7d6d378a 2022-08-24 op     border-top: 1px solid black;
116 7d6d378a 2022-08-24 op }
117 7d6d378a 2022-08-24 op 
118 7d6d378a 2022-08-24 op footer > p {
119 7d6d378a 2022-08-24 op     text-align: center;
120 7d6d378a 2022-08-24 op }
121 7d6d378a 2022-08-24 op 
122 7d6d378a 2022-08-24 op footer ul {
123 7d6d378a 2022-08-24 op     padding: 0;
124 7d6d378a 2022-08-24 op     text-align: center;
125 7d6d378a 2022-08-24 op }
126 7d6d378a 2022-08-24 op 
127 7d6d378a 2022-08-24 op footer li {
128 7d6d378a 2022-08-24 op     display: inline-block;
129 7d6d378a 2022-08-24 op     padding: 8px;
130 7d6d378a 2022-08-24 op }