From 6052a192dd6459b529f3a87dfb3355a226c285d0 Mon Sep 17 00:00:00 2001
From: Klaas <kliffen@astron.nl>
Date: Tue, 8 Nov 2022 14:38:17 +0100
Subject: [PATCH] Add border to checkboxes to make them more visible
---
src/assets/Interactive.css | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
diff --git a/src/assets/Interactive.css b/src/assets/Interactive.css
index 7e56a26..12c2d8e 100644
--- a/src/assets/Interactive.css
+++ b/src/assets/Interactive.css
@@ -4,10 +4,10 @@
.ida span {
overflow-wrap: break-word;
}
-
+
.ida ul {
- counter-reset: li;
- list-style: none;
+ counter-reset: li;
+ list-style: none;
padding: 0;
text-shadow: 0 1px 0 rgba(255,255,255,.5);
}
@@ -19,7 +19,7 @@
border-radius: 4px;
padding:15px;
}
-
+
.ida {
margin:50px;
width: 95%;
@@ -118,6 +118,7 @@
height: 25px;
width: 25px;
background-color: #eee;
+ border: 1px solid #333;
}
/* On mouse-over, add a grey background color */
@@ -169,7 +170,7 @@
width:180px;
height:40px;
float:right;
-
+
}
.back-button {
@@ -178,7 +179,7 @@
height:40px;
line-height:1px;
font-size:22px;
-
+
}
.deploy-buttons {
@@ -199,7 +200,7 @@
.search-buttons {
width: 60%;
- margin-bottom:80px;
+ margin-bottom:80px;
}
.advanced-search {
@@ -207,7 +208,7 @@
padding-bottom: 20px;
border-radius: 5px;
padding-right:30px;
- padding-left:30px;
+ padding-left:30px;
}
--
GitLab