diff options
Diffstat (limited to 'header.html')
-rw-r--r-- | header.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/header.html b/header.html index 89ed43e..3415f5c 100644 --- a/header.html +++ b/header.html @@ -12,7 +12,7 @@ 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> </head> -<nav> +<nav id="top"> <a href="/">Home</a><span> | </span><a href="#menu">Menu ↓</a> </nav> |