Spruce up search box

Author: rainersigwald

ParallelBuildDebuggingLogger/Stylesheet.css

@@ -4,6 +4,9 @@ body {
 
 #searchbox {
   width: 100%;
+  font-size: 1.5rem;
+  padding: 12px 20px 12px 20px;
+  margin-bottom: 12px;
 }
 
 .projectdescription {
@@ -55,4 +58,4 @@ body {
 
 .targetnames {
   font-family: var(--codish);
-}
+}