]> gitweb.factorcode.org Git - factor.git/commitdiff
webapps.help: more borders
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 04:21:31 +0000 (21:21 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 04:21:31 +0000 (21:21 -0700)
extra/webapps/help/search.css

index b08e5e035e93b435af190c1326da53bea213fc86..fa937b3a605501cb955e779b57ddfc40f3015b6f 100644 (file)
@@ -17,7 +17,7 @@
   font-size: 14pt;
   color: #7f7f7f;
   text-align: center;
-  border: 1px solid transparent;
+  border: 1px solid #ccc;
   border-bottom: none;
 }
 
@@ -52,6 +52,8 @@
 
   .label {
     color: #bdc1c6;
+    border: 1px solid #666;
+    border-bottom: none;
   }
 
   .label:hover {
@@ -74,5 +76,7 @@
 
   .label {
     width: 33.33%;
+    border: 1px solid transparent;
+    border-bottom: none;
   }
 }