QoL style fixes

* Added monospace font stack for metrics consistency with
  content/headers
* Fixed/styled search suggestions to work with header
* Added styles for hrs

Bug: T131996
Bug: T131993
Change-Id: I99aaaf6c55e375f847683909154a429e180b3dad

resources/forms.less

@@ -118,6 +118,7 @@ textarea,
 	box-shadow: inset 0 1px 1px 1px rgba(0, 0, 0, 0.05);
 	font-size: 1em;
 	min-height: 30px;
+	font-family: @fonts;
 }
 select {
 	padding: .25em;
@@ -163,6 +164,7 @@ textarea {
 	resize: vertical;
 	box-sizing: border-box;
 	line-height: 1.3em;
+	font-family: @fonts-monospace;
 }
 textarea#wpTextbox1 {
 	border-color: @grey;

resources/screen-common.less

@@ -105,6 +105,35 @@ body {
 	box-shadow: none;
 }
 
+.suggestions {
+	background: @background;
+	box-shadow: 0 2px 2px 1px rgba(0, 0, 0, 0.05);
+
+	.suggestions-special {
+		background-color: @background;
+		border: 1px solid @grey;
+		border-bottom-width: @border;
+		padding: .75em 2em;
+	}
+	.suggestions-results {
+		background-color: @background;
+		border: 1px solid @grey;
+		border-bottom-width: @border;
+	}
+	.suggestions-result {
+		color: @text;
+		padding: .65em 2em .35em;
+	}
+	.suggestions-result-current {
+		background-color: @blue;
+		color: @background;
+	}
+}
+div.suggestions {
+	position: fixed;
+	top: 2.75em !important; // Override js-provided value to account for fixed header
+}
+
 /* Dropdown stuff */
 
 .pokey,
@@ -304,9 +333,21 @@ a.new,
 	}
 }
 
+hr {
+	border-width: 1px;
+	border-color: @grey;
+	border-style: solid none solid none;
+	margin: .5em 0;
+}
+
 pre {
 	overflow: auto;
 	white-space: pre-wrap;
+	font-family: @fonts-monospace;
+}
+
+p {
+	margin: .9em 0 .8em;
 }
 
 .center,

resources/variables.less

@@ -38,8 +38,10 @@
 
 // Fonts are chosen for consistent metrics, not necessarily overall prettiness.
 // This will NEED fixes for different languages.
+@fonts: 'Helvetica Neue', 'Nimbus Sans', 'Arial', sans-serif;
 @fonts-secondary: 'Linux Libertine', 'Times New Roman', serif;
-@fonts: 'Helvetica Neue', 'Nimbus Sans L', 'Arial', sans-serif;
+// Based on information on https://wiki.archlinux.org/index.php/Metric-compatible_fonts; not tested
+@fonts-monospace: 'Courier', 'Nimbus Mono', 'Liberation Mono', 'Courier New', monospace, monospace;
 @border: .2em;
 @radius: .2em;