Merge pull request #20 from RaitoBezarius/raito/types-links

leanprover-community · Jun 3, 2020 · cdec7f9 · cdec7f9
2 parents 888e298 + c0f0504
commit cdec7f9
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/style_js_frame.css b/style_js_frame.css
@@ -230,6 +230,16 @@ code a:link, code a:visited, code a:active,
     color: black;
 }
 
+/** Don't show underline on types, to prevent the ≤ vs < confusion. **/
+.decl_type a:link, .structure_field a:link {
+    text-decoration: none;
+}
+
+/** Show it on hover though. **/
+.decl_type a:hover, .structure_field a:hover {
+    text-decoration: underline;
+}
+
 code a:hover, .decl a:hover {
     color: darkslategray;
 }