diff options
Diffstat (limited to 'extensions/BugModal/web')
-rw-r--r-- | extensions/BugModal/web/bug_modal.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/extensions/BugModal/web/bug_modal.css b/extensions/BugModal/web/bug_modal.css index b02fc6067..0d34039af 100644 --- a/extensions/BugModal/web/bug_modal.css +++ b/extensions/BugModal/web/bug_modal.css @@ -846,3 +846,26 @@ div.ui-tooltip { #pcs { width: 235px; } + +/* search navigation */ + +#search-nav { + background: rgba(255, 255, 255, 0.3); + padding: 4px 8px; +} + +#search-nav-label { + font-weight: bold; +} + +.search-nav-link, .search-nav-disabled { + margin-left: 4px; +} + +#search-nav-reget { + margin-left: 8px; +} + +.search-nav-disabled { + color: #777; +} |