diff options
| author | u <@> | 2026-03-10 13:17:46 +0200 |
|---|---|---|
| committer | u <@> | 2026-03-10 13:17:46 +0200 |
| commit | 494c71161d6c2da77d615a442cad798dc950990a (patch) | |
| tree | b7791306a2858a995123cf14d6e61bb08fbe39d4 /src | |
| parent | 7210aab8bd2263bb33571af35d9b50eb76743c35 (diff) | |
style
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib.rs | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -121,6 +121,7 @@ pre { white-space: -pre-wrap; white-space: -o-pre-wrap; word-wrap: break-word; + font-family: serif; } .remark { box-sizing: content-box; @@ -147,14 +148,14 @@ body { p, a.sec, pre { padding: 0 4vw; -/*align: center; -display:flex; -align-items: center; -justify-content: center;*/ + /*align: center; + display:flex; + align-items: center; + justify-content: center;*/ } } pre { - font-size: 12pt; + font-size: 14pt; } a, p { font-size: 14pt; } a.splink { color: #005953; font-size: inherit; } |
