From fdd5f9439a0d5d0e64df2f210b74928cdb623188 Mon Sep 17 00:00:00 2001 From: ville rantanen Date: Mon, 19 Jun 2017 20:35:23 +0300 Subject: [PATCH] hide non-search result headers --- index.html | 34 +++++++++++++++++++++++++++++----- 1 file changed, 29 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index 56953df..03ee8d9 100644 --- a/index.html +++ b/index.html @@ -18,6 +18,13 @@ content:"-"; padding-right: 0.5em; } + TD.narrow LI { + margin-bottom: 1em; + } + LI.nolink:before { + content:" "; + padding-right: 1.0em; + } A:link { text-decoration:none; color: #000000; } A:visited { text-decoration:none; color: #000000; } A:hover { text-decoration: underline; } @@ -33,10 +40,7 @@ #open_blank_span { cursor: pointer; font-size:16px;} #open_blank_box { position:relative; left: 0.0em; border: 1px solid black; padding-left: 1em; } #open_blank_arrow { position: relative; left: -0.5em; top: 0em; } - LI.nolink:before { - content:" "; - padding-right: 1.0em; - } + .hidden { display:none; }