summaryrefslogtreecommitdiff
path: root/source/infra
diff options
context:
space:
mode:
Diffstat (limited to 'source/infra')
-rw-r--r--source/infra/css/main.css13
1 files changed, 3 insertions, 10 deletions
diff --git a/source/infra/css/main.css b/source/infra/css/main.css
index 242c08d..0b1b47f 100644
--- a/source/infra/css/main.css
+++ b/source/infra/css/main.css
@@ -15,16 +15,11 @@
}
/* Basic elements */
-/* See also https://github.com/necolas/normalize.css/blob/master/normalize.css */
html {
line-height: 1.5;
-webkit-text-size-adjust: none;
text-size-adjust: none;
}
-hr {
- box-sizing: content-box;
- height: 0;
-}
body {
background: #ededed;
background: var(--b);
@@ -46,13 +41,13 @@ h4 {
font-style: italic;
}
a {
- background-color: transparent;
+ background-color: transparent; /* normalize.css */
text-decoration: none;
color: #0000ff;
color: var(--a);
}
img {
- border-style: none;
+ border-style: none; /* normalize.css */
display: block;
max-width: 100%;
height: auto;
@@ -64,7 +59,6 @@ td {padding: 0 1.5rem;}
font-family: monospace, monospace;
font-size: 1em;
}*/
-b, strong {font-weight: bolder;}
/* Header and footer */
.nav {
@@ -98,8 +92,7 @@ b, strong {font-weight: bolder;}
/* IE-compatible collapsible proofs */
div.proof {
- display: block;
- border: dotted;
+ border: 3px dotted;
padding: 0.25rem 0.5rem;
}
label.proof {