diff options
| author | Paul Buetow <paul@buetow.org> | 2022-05-29 08:32:45 +0100 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2022-05-29 08:32:45 +0100 |
| commit | 219820da6e595e50d67a01365b73883600e662df (patch) | |
| tree | 09716ab23eca07b395eca77e1489ebe1e7230b1e /other-resources.html | |
| parent | 092f67203b75e3256a6e1c9f50cbe76a97ba4eee (diff) | |
override styles
Diffstat (limited to 'other-resources.html')
| -rw-r--r-- | other-resources.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/other-resources.html b/other-resources.html index 0108fdd4..00b51ecb 100644 --- a/other-resources.html +++ b/other-resources.html @@ -5,6 +5,7 @@ <title>Other resources</title> <link rel="shortcut icon" type="image/gif" href="/favicon.ico" /> <link rel="stylesheet" href="style.css" /> +<link rel="stylesheet" href="style-override.css" /> </head> <body> <h1>Other resources</h1> |