From: git Date: Thu, 7 May 2026 16:11:33 +0000 (-0400) Subject: fix checkbox border colors, remove generating info styling X-Git-Url: https://git.datadissipation.net/?a=commitdiff_plain;h=6d3321e0e4449305c6e0e276323394e4c06a7d3d;p=gitweb-theme.git fix checkbox border colors, remove generating info styling --- diff --git a/gitweb.css b/gitweb.css index 2b0c73f..1347511 100644 --- a/gitweb.css +++ b/gitweb.css @@ -113,6 +113,9 @@ input[type="checkbox"]:focus-visible { .projsearch input[type="checkbox"] { border: 3px solid #d3dfe3; } +.search input[type="checkbox"] { + border: 3px solid #eef9ff; +} ::selection { background-color: #fdd33c; color: #111; @@ -198,17 +201,7 @@ i { margin: 4px; margin-left: 0px; } -#generating_info { - font-size: 10px; - color: #aaa; - text-align: center; -} -#generating_time, -#generating_cmd { - font-weight: bold; -} -/* Page Header ----------------------------------------------------------------------------- */ +/* Page Header */ .page_header { line-height: 50px; position: relative;