diff options
| author | Bradley Taunt <bt@btxx.org> | 2024-08-28 11:26:52 -0400 |
|---|---|---|
| committer | Bradley Taunt <bt@btxx.org> | 2024-08-28 11:26:52 -0400 |
| commit | ad91daad33d7c6e4aaed555ef7af44cd8bf1bf90 (patch) | |
| tree | 42863d02116baa9421d216e73a3ff663a9586a9b /header.html | |
| parent | 26e2c1090089cd168c05cbb54957beacbef234fb (diff) | |
New post about RE2 and how great it is
Diffstat (limited to 'header.html')
| -rw-r--r-- | header.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/header.html b/header.html index 3415f5c..c09f8e2 100644 --- a/header.html +++ b/header.html @@ -7,9 +7,7 @@ <link rel="icon" href="data:,"> <title>{{TITLE}}</title> <link href="/index.rss" type="application/rss+xml" rel="alternate" title="RSS feed for blog posts" /> -<style>*{box-sizing:border-box;}body{font-family:sans-serif;line-height:1.33;margin:0 -auto;max-width:650px;padding:1rem;}blockquote{border-left:4px - solid;padding-left:5px;}img{max-width:100%;}pre{border:1px solid;overflow:auto;padding:5px;}table{text-align:left;width:100%;}.posts,#menu{list-style:none;padding:0;}.posts li{margin-bottom:8px;}.posts li span{display:block;font-size:90%;}#menu li{display:inline-block;margin-right:8px;}.footnotes{font-size:90%;}</style> +<style>*{box-sizing:border-box;}body{font-family:sans-serif;line-height:1.33;margin:0 auto;max-width:650px;padding:1rem;}blockquote{border-left:4px solid;padding-left:5px;}img{max-width:100%;}pre{border:1px solid;overflow:auto;padding:5px;}table{text-align:left;width:100%;}.posts,#menu{list-style:none;padding:0;}.posts li{margin-bottom:8px;}.posts li span{display:block;font-size:90%;}#menu li{display:inline-block;margin-right:8px;}figcaption{font-size:90%;}.footnotes{font-size:90%;}@font-face{font-family:'Monaspace';src:url('/public/fonts/MonaspaceKrypton-SyntaxHighlighter-Regular.woff2') format('woff2');}code{font-family:"Monaspace",monospace;background-color:#000;color:#f1f1f1;border-radius:.2rem;padding:.1rem;}pre:has(code){border:2px solid #f9f9f9;background-color:#000;color:#f1f1f1;padding:.5rem;border-radius:.5rem;}</style> </head> <nav id="top"> |