From 97d9cdeb63e6449e7c82489a743004d9cb5fb4c2 Mon Sep 17 00:00:00 2001 From: Rohan Kumar Date: Sun, 10 Apr 2022 20:41:35 -0700 Subject: [PATCH] CSS: more browser default colors for borders. --- assets/css/dark.css | 6 ++---- assets/css/main.css | 3 ++- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/assets/css/dark.css b/assets/css/dark.css index a78020b..5a664f1 100644 --- a/assets/css/dark.css +++ b/assets/css/dark.css @@ -19,10 +19,8 @@ color: #c80; } - blockquote, - :not(pre) > code, - img, - pre { + pre, + :not(pre) > code { border-color: #444; } diff --git a/assets/css/main.css b/assets/css/main.css index 63593e9..c840617 100644 --- a/assets/css/main.css +++ b/assets/css/main.css @@ -55,6 +55,7 @@ blockquote { } } +/* WCAG guidelines recommend signalling the current page */ a[aria-current="page"] { font-weight: bold; } @@ -144,7 +145,7 @@ img:not(.u-photo) { * reducing the number of DOM nodes rendered at once. */ footer, section[role="doc-endnotes"] { - border-top: 1px solid #aaa; + border-top: 1px solid; content-visibility: auto; }