From 23ef0d5a6fd4f7dcd0723e04b7ce495e9a0eea6d Mon Sep 17 00:00:00 2001 From: haskal Date: Sat, 5 Dec 2020 00:46:25 -0500 Subject: [PATCH] plot tweaks --- scripts/plot.css | 2 ++ scripts/plot.scrbl | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/plot.css b/scripts/plot.css index 59b0ea2..63b1e1a 100644 --- a/scripts/plot.css +++ b/scripts/plot.css @@ -1,3 +1,5 @@ html, body { background: black; color: white; font-family: monospace; } h1, h2, h3, p { font-family: monospace; } + +.tocset { display: none; } diff --git a/scripts/plot.scrbl b/scripts/plot.scrbl index 9ca2bbc..36de0e2 100644 --- a/scripts/plot.scrbl +++ b/scripts/plot.scrbl @@ -2,7 +2,7 @@ @(require plot/no-gui racket "plot") -@title[#:style '(toc-hidden no-sidebar no-index no-toc+aux)]{BLÁHAJ score chart} +@title[#:style '(toc-hidden no-sidebar no-index no-toc+aux)]{BLÅHAJ score chart} meow