Use the same subhead style for search results as export

diff --git a/app/assets/stylesheets/common.css.scss b/app/assets/stylesheets/common.css.scss
index e99fc8312f98c6e25f81442916d12233569b93b9..4a07e3659db4d5878ebba8e6f52f97fd1884c34a 100644 (file)
--- a/app/assets/stylesheets/common.css.scss
+++ b/app/assets/stylesheets/common.css.scss
@@ -440,8 +440,9 @@ h2 {
 
 .search_results_heading {
   margin: 0px;
-  padding: 3px 5px;
-  background: #eee;
+  padding: 2px 5px;
+  border-bottom: 1px solid #ccc;
+  font-weight: bold;
 }
 
 .search_results_entry {