File size: 2,861 Bytes
5f56d31 5b6f50d 5f56d31 a6abbbf 5b6f50d 5f56d31 5b6f50d 5f56d31 5b6f50d 5f56d31 a6abbbf 5b6f50d 5f56d31 5b6f50d 5f56d31 5b6f50d 5f56d31 5b6f50d 5f56d31 5b6f50d 5f56d31 a6abbbf 5b6f50d 5f56d31 a6abbbf 5b6f50d 5f56d31 a6abbbf | 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 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 | /* Research portal — sparse, readable, Bellard-adjacent */
:root {
--fg: #111;
--muted: #555;
--line: #c8c8c8;
--link: #06c;
--link-vis: #551a8b;
--bg: #fff;
--code-bg: #f5f5f5;
--max: 46em;
}
* { box-sizing: border-box; }
html { font-size: 17px; -webkit-text-size-adjust: 100%; }
body {
font-family: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua",
"Times New Roman", Times, serif;
margin: 0;
color: var(--fg);
line-height: 1.45;
background: var(--bg);
}
.wrap { max-width: var(--max); margin: 0 auto; padding: 1.5em 1.25em 3em; }
h1 {
font-size: 1.45em;
font-weight: normal;
margin: 0 0 0.25em 0;
letter-spacing: -0.01em;
}
h2 {
font-size: 1.08em;
font-weight: normal;
margin: 1.45em 0 0.45em 0;
border-bottom: 1px solid var(--line);
padding-bottom: 0.18em;
}
h3 {
font-size: 1em;
font-weight: normal;
margin: 0.9em 0 0.3em 0;
font-style: italic;
}
p { margin: 0.5em 0; }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:visited { color: var(--link-vis); }
hr { border: none; border-top: 1px solid var(--line); margin: 1.15em 0; }
.meta { color: var(--muted); font-size: 0.94em; }
.nav {
margin: 0.45em 0 0.15em 0;
font-size: 0.94em;
line-height: 1.7;
}
.nav a { margin-right: 0.9em; white-space: nowrap; }
.nav a.active { color: var(--fg); text-decoration: none; font-weight: normal; border-bottom: 1px solid var(--fg); }
code, .mono {
font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
font-size: 0.86em;
}
table {
border-collapse: collapse;
width: 100%;
font-size: 0.92em;
margin: 0.55em 0 0.95em;
}
th, td {
text-align: left;
padding: 0.32em 0.55em 0.32em 0;
border-bottom: 1px solid #e0e0e0;
vertical-align: top;
}
th { font-weight: normal; color: var(--muted); }
tr:last-child td { border-bottom: 1px solid var(--line); }
ul, ol { margin: 0.35em 0 0.75em 1.25em; padding: 0; }
li { margin: 0.28em 0; }
pre {
font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
font-size: 0.8em;
background: var(--code-bg);
border: 1px solid #e4e4e4;
padding: 0.75em 0.85em;
overflow-x: auto;
line-height: 1.4;
border-radius: 2px;
}
.card {
border: 1px solid #ddd;
padding: 0.75em 0.9em;
margin: 0;
background: #fafafa;
}
.grid2 {
display: grid;
grid-template-columns: 1fr 1fr;
gap: 0.85em;
margin: 0.75em 0;
}
.badge {
display: inline-block;
font-size: 0.78em;
border: 1px solid var(--line);
padding: 0.05em 0.4em;
color: var(--muted);
margin-left: 0.25em;
vertical-align: middle;
}
.foot {
margin-top: 1.8em;
padding-top: 0.75em;
border-top: 1px solid var(--line);
color: var(--muted);
font-size: 0.9em;
}
@media (max-width: 640px) {
.grid2 { grid-template-columns: 1fr; }
html { font-size: 16px; }
.wrap { padding: 1.15em 1em 2.5em; }
}
|