From e67ea1d1f099e45cc435e1130e76dc6987e335c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Thu, 6 Jan 2022 14:19:14 +0100 Subject: [PATCH] feat: change CSS to acount for classes and instances --- static/style.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/static/style.css b/static/style.css index e930689..727ba48 100644 --- a/static/style.css +++ b/static/style.css @@ -359,7 +359,7 @@ main h2, main h3, main h4, main h5, main h6 { margin-top: 4rem; } -.def { +.def, .instance { border-left: 10px solid #92dce5; border-top: 2px solid #92dce5; } @@ -374,7 +374,7 @@ main h2, main h3, main h4, main h5, main h6 { border-top: 2px solid #f44708; } -.structure, .inductive { +.structure, .inductive, .class { border-left: 10px solid #f0a202; border-top: 2px solid #f0a202; } @@ -400,7 +400,7 @@ main h2, main h3, main h4, main h5, main h6 { transition: background-color 100ms ease-in-out; } -.def .fn:hover { +.def .fn:hover, .instance .fn:hover { background-color: hsla(187, 61%, calc(100% - 5%*var(--fn))); box-shadow: 0 0 0 1px hsla(187, 61%, calc(100% - 5%*(var(--fn) + 1))); border-radius: 5px; @@ -415,7 +415,7 @@ main h2, main h3, main h4, main h5, main h6 { box-shadow: 0 0 0 1px hsla(16, 94%, calc(100% - 5%*(var(--fn) + 1))); border-radius: 5px; } -.structure .fn:hover, .inductive .fn:hover { +.structure .fn:hover, .inductive .fn:hover, .class .fn:hover { background-color: hsla(40, 98%, calc(100% - 5%*var(--fn))); box-shadow: 0 0 0 1px hsla(40, 98%, calc(100% - 5%*(var(--fn) + 1))); border-radius: 5px;