From 94986f17dc11be071d7849f822f5083967ed9f06 Mon Sep 17 00:00:00 2001 From: Nicolas Paul Date: Thu, 27 Apr 2023 00:36:25 +0200 Subject: Revert CSS changes The global CSS theme will be modified later --- doc/src/.crocc.html | 3 +-- doc/src/style.css | 5 ----- 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/doc/src/.crocc.html b/doc/src/.crocc.html index 89b2e6c..49cf993 100644 --- a/doc/src/.crocc.html +++ b/doc/src/.crocc.html @@ -4,7 +4,6 @@ Use of this source code is governed by a BSD-style license that can be found in the LICENSE file. --> - @@ -33,7 +32,7 @@ - + diff --git a/doc/src/style.css b/doc/src/style.css index bc6a1ad..eca2757 100644 --- a/doc/src/style.css +++ b/doc/src/style.css @@ -43,11 +43,6 @@ pre { font-family: monospace; } -pre { - background-color: var(--text-color); - color: var(--background-color); -} - a { color: var(--accent-color); } -- cgit v1.2.3