diff options
| author | JJ | 2024-01-18 21:51:11 +0000 |
|---|---|---|
| committer | JJ | 2024-01-18 21:51:11 +0000 |
| commit | f0846498d1ffc320445feae07eed571522a460ba (patch) | |
| tree | 5d207ba688417dff28679359394b5c6fcf05e4df /_layouts/default.html | |
| parent | de2f686c1688c03f61bae66424ca153213241642 (diff) | |
meow
Diffstat (limited to '_layouts/default.html')
| -rw-r--r-- | _layouts/default.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_layouts/default.html b/_layouts/default.html index ad4c7ed..9b0b57c 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -19,6 +19,7 @@ </script> <style> header { padding-bottom: 1em; } + .katex { font-size: 1em; } </style> </head> <body> |