From 55fa457e25f93753d5eb1cab55ace812d3fb5f70 Mon Sep 17 00:00:00 2001 From: inference Date: Tue, 14 Nov 2023 19:14:10 +0000 Subject: [PATCH] Switch navigation bar from custom sidebar element to proper nav --- about.html | 10 ++++------ main.css | 14 +++++++------- 2 files changed, 11 insertions(+), 13 deletions(-) diff --git a/about.html b/about.html index ee61c20..bad56f0 100644 --- a/about.html +++ b/about.html @@ -5,7 +5,7 @@ - + @@ -15,11 +15,9 @@ -
- - Inferencium
-
-
+
+
+
Inferencium
About
Contact
Blog
diff --git a/main.css b/main.css index 127e811..3732fe7 100644 --- a/main.css +++ b/main.css @@ -3,7 +3,7 @@ /* Copyright 2022 Jake Winters */ /* SPDX-License-Identifier: BSD-3-Clause */ -/* Version: 11.1.0-alpha.8 */ +/* Version: 11.1.0-alpha.9 */ /* Body */ @@ -199,8 +199,8 @@ td { } -/* Sidebar */ -.sidebar { +/* Navigation bar */ +nav { height: 100%; width: 250px; position: fixed; @@ -228,7 +228,7 @@ td { color: #000000; } -sidebar div, .sidebar div a, .sidebar div a:visited { +nav div, nav div a, nav div a:visited { padding: 6px; font-family: Roboto, sans-serif; font-size: 22px; @@ -258,7 +258,7 @@ strong { overflow-x: scroll; } - .sidebar { + nav { width: 100vw; height: 35px; font-size: 12px; @@ -268,12 +268,12 @@ strong { white-space: nowrap; } - .sidebar div { + nav div { font-size: min(max(7vw, 20px), 30px); display: inline-block; } - .sidebar img, .sidebar .title { + nav img, nav .title { display: none; }