From b65438539d1f63464f8cc2db06fd741d6c221f07 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Sun, 30 Jun 2019 00:00:14 +0200 Subject: [PATCH] Update website page styles to not interfere with themes (#1952) This changes the `style.css` to not interfere with themes. The problem was that `* { ...; font-weight: normal; }` caused markdowns bold text to not be rendered as bold.
Style inheritance ![image](https://user-images.githubusercontent.com/20878432/60092675-e90e2000-9747-11e9-8b16-73bf3e219001.png)
The fix is quite simple: I just removed the `font-weight: normal;` line. The only elements (besides the bold tokens) that changed were `h2`s, so they get a new rule. In a side-to-side comparison, I wasn't able to spot any other differences. Result: ![image](https://user-images.githubusercontent.com/20878432/60092899-5e79f080-9748-11e9-955c-bd3645fc018e.png) --- style.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/style.css b/style.css index 64f79af69e..221b6cd728 100644 --- a/style.css +++ b/style.css @@ -24,7 +24,6 @@ footer p { * { margin: 0; padding: 0; - font-weight: normal; } body { @@ -77,6 +76,10 @@ h2 { margin: 1em 0 .3em; } +h2 { + font-weight: normal; +} + dt { margin: 1em 0 0 0; font-size: 130%;