From b88a516e02a0ad574fb2423890aef5d4bef35b57 Mon Sep 17 00:00:00 2001 From: Mike Bostock Date: Mon, 27 Nov 2023 22:44:28 -0800 Subject: [PATCH] tweak colors (#246) --- public/style.css | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/public/style.css b/public/style.css index b7574c58b..a0ae9ea06 100644 --- a/public/style.css +++ b/public/style.css @@ -746,19 +746,11 @@ a[href].observablehq-header-anchor { color: var(--syntax-entity); } -.observablehq--null, -.observablehq--undefined, -.observablehq--boolean, -.observablehq--bigint, -.observablehq--number, -.observablehq--date, .observablehq--index, .observablehq--key, .hljs-attr, .hljs-attribute, -.hljs-literal, .hljs-meta, -.hljs-number, .hljs-operator, .hljs-variable, .hljs-selector-attr, @@ -775,7 +767,10 @@ a[href].observablehq-header-anchor { color: var(--syntax-string); } +.observablehq--null, +.observablehq--undefined, .hljs-built_in, +.hljs-literal, .hljs-symbol { color: var(--syntax-variable); } @@ -787,8 +782,13 @@ a[href].observablehq-header-anchor { color: var(--syntax-comment); } +.observablehq--bigint, +.observablehq--boolean, +.observablehq--date, .observablehq--forbidden, +.observablehq--number, .hljs-name, +.hljs-number, .hljs-quote, .hljs-selector-tag, .hljs-selector-pseudo {