From ee953eef09cc090dc98a09038ab97be55875a2a5 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Mon, 18 Dec 2023 22:22:11 +0000
Subject: [PATCH] Update stop names

---
 map.css |   49 +++++++++++++++++++++++++++----------------------
 1 files changed, 27 insertions(+), 22 deletions(-)

diff --git a/map.css b/map.css
index db4693f..25ac399 100644
--- a/map.css
+++ b/map.css
@@ -17,32 +17,41 @@
 	right: auto;
 }
 
+.close, .hide {
+	float: right;
+	cursor: pointer;
+	font-size: 1.5em;
+	padding-left: 1em;
+	color: black;
+}
+#fail .close {
+	font-size: inherit;
+	height: 1em;
+	color: black;
+}
+
 .panel {
 	opacity: .85;
 	color: black;
+	padding: 0;
 	background: white;
-	padding: 5px;
 	border-left: 1px solid black;
 	font-size: 14px;
-	overflow-y: auto;
 	
 	transition: right .4s, width .4s;
 	
+	height: 100%;
+	width: 360px;
 	position: fixed;
-	width: 350px;
-	right: -365px;
+	right: -361px;
 	top: 0;
 	bottom: 0;
 }
 .panel.expanded {
 	right: 0;
 }
-
 .panel .hide {
 	display: none;
-}
-.panel.enabled .hide {
-	display: block;
 	
 	position: fixed;
 	bottom: 20%;
@@ -59,10 +68,18 @@
 	
 	transition: right .4s, margin-right .4s;
 }
+.panel.enabled .hide {
+	display: block;
+}
 .panel.expanded .hide {
 	right: 360px;
 }
-
+.panel .panel-container {
+	overflow-y: auto;
+	box-sizing: border-box;
+	padding: 5px;
+	height: 100%;
+}
 @media (max-width: 600px) {
 	.panel {
 		width: 80%;
@@ -74,19 +91,7 @@
 	
 	.panel.enabled.expanded .hide {
 		right: 80%;
-		margin-right: 10px;
 	}
-}
-
-.close, .hide {
-	float: right;
-	cursor: pointer;
-	font-size: 20px;
-	padding: 0px 10px;
-}
-#fail .close {
-	font-size: inherit;
-	height: 1em;
 }
 .panel .type {
 	padding-bottom: 0;
@@ -220,7 +225,7 @@
 	display: none;
 }
 
-a {
+a, .close:hover, .hide:hover {
 	color: #337ab7;
 	text-decoration: none;
 	cursor: pointer;

--
Gitblit v1.9.1