From 9593d1d971ef73f029275ce79fcba2393a11d8dd Mon Sep 17 00:00:00 2001
From: Alex Cabal <alex@alexcabal.com>
Date: Sat, 9 Jul 2022 17:58:17 -0500
Subject: [PATCH] Update web.css to work around a Chrome pointer media query
 bug

---
 www/css/web.css | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/www/css/web.css b/www/css/web.css
index b5e7461a..5a512e5f 100644
--- a/www/css/web.css
+++ b/www/css/web.css
@@ -71,17 +71,6 @@ nav[epub|type~="toc"] ol{
 	list-style: none;
 }
 
-@media(max-width: 96ch){
-	body > header{
-		position: fixed;
-	}
-
-	body > header li:first-child > a{
-		height: 21px;
-		width: 90px;
-	}
-}
-
 @media(max-width: 65ch){
 	body{
 		padding: 0 2rem;
@@ -118,7 +107,18 @@ nav[epub|type~="toc"] ol{
 	}
 }
 
-@media(pointer: coarse) or (pointer: none){
+/* As of July 2022 Chrome on Android doesn't yet understand `or (pointer: none)`
+and will just drop this entire query together if it's included. */
+@media(pointer: coarse){
+	body > header{
+		position: fixed;
+	}
+
+	body > header li:first-child > a{
+		height: 21px;
+		width: 90px;
+	}
+
 	nav[epub|type~="toc"] ol li{
 		margin-bottom: 2em;
 		margin-top: 2em;