Fix search dialog font.

chr15m · chr15m · commit 5317d4fa5de2 · 2020-08-17T09:17:32.000+08:00
diff --git a/public/style.css b/public/style.css
@@ -970,6 +970,11 @@ section#editor .file-content > div {
   background-color: #232a25;
 }
 
+input.CodeMirror-search-field {
+  font-family: "Courier New", "Courier", "Courier 10 Pitch", monospace;
+  font-size: 18px;
+}
+
 .color-warn {
   color: #C64438 !important;
 }

Original file line number	Diff line number	Diff line change
`@@ -970,6 +970,11 @@ section#editor .file-content > div {`
`970`	`970`	`background-color: #232a25;`
`971`	`971`	`}`
`972`	`972`
	`973`	`+input.CodeMirror-search-field {`
	`974`	`+ font-family: "Courier New", "Courier", "Courier 10 Pitch", monospace;`
	`975`	`+ font-size: 18px;`
	`976`	`+}`
	`977`	`+`
`973`	`978`	`.color-warn {`
`974`	`979`	`color: #C64438 !important;`
`975`	`980`	`}`