From 9b0c03ba483008a482406e8df3d42db744ec519e Mon Sep 17 00:00:00 2001 From: Marian Beermann Date: Sun, 13 Aug 2017 16:52:20 +0200 Subject: [PATCH] docs: delete unused CSS directives --- docs/borg_theme/css/borg.css | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/docs/borg_theme/css/borg.css b/docs/borg_theme/css/borg.css index 00eed6bde..f8f900b66 100644 --- a/docs/borg_theme/css/borg.css +++ b/docs/borg_theme/css/borg.css @@ -1,26 +1,5 @@ @import url("theme.css"); -/* The Return of the Borg. - * - * Have a bit green and grey and darkness (and if only in the upper left corner). - */ - -.wy-side-nav-search { - background-color: #000000 !important; -} - -.wy-side-nav-search input[type="text"] { - border-color: #000000; -} - -.wy-side-nav-search > a { - color: rgba(255, 255, 255, 0.5); -} - -.wy-side-nav-search > div.version { - color: rgba(255, 255, 255, 0.5); -} - dt code { font-weight: normal; }