From f467b2786b4614f5a57c1f7d6a5f3948d46b2634 Mon Sep 17 00:00:00 2001
From: Taka <taka@vm-linux-dev>
Date: Wed, 4 Mar 2020 06:11:33 +0000
Subject: [PATCH] Minor UI styling changes.

---
 web/public/images/bullet.png  | Bin 168 -> 371 bytes
 web/public/images/bullet2.png | Bin 362 -> 372 bytes
 web/src/SearchResults.css     |   2 +-
 web/src/index.css             |   1 +
 4 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/public/images/bullet.png b/web/public/images/bullet.png
index d1fdb8fa603cf4cc4afbaceb461ff991acc9270b..b9d44021fea013ab681fb14b96e55d570e66bd25 100644
GIT binary patch
literal 371
zcmeAS@N?(olHy`uVBq!ia0vp^93afW1SGw4HSYi^&H|6fVg?4jBOuH;Rhv&5D9B#o
z>Fdh=gqfLFjm!S{{baC^Yeb1-X-P(Y5yQ%LXFPyHJS9LOm(=3qqRfJl%=|nCVNOM5
zpg0#u+&RCXvM4h>ql94%{~0TwC?8m~C^ZqJRG}m@H<iKkJ3l8-h7%+coS#-wo>-L1
z5L@scq?{XUcxG{OP9jig5ySQaTl#^*93bKF#G<^+ymW>G($Cs~V(bw8rA5i93}62@
zzlJGu&d<$F%`0K}c4pdspcorSSx9C{PAbEScbC+GB6glGjv*W~bI%>*Wl-R7zSuu`
zqhzA7*<t338n=XBT8o_YIdF!dJU#V|cWAe@$?gYR_yhyJAK#8E*w%1mcfQ)sN@-3j
SlX7#QNerH@elF{r5}E)&U3CBe

delta 140
zcmey&w1RPhN<Cw7kh>GZx^prw85kH?(j9#r85lP9bN@+X1@buyJR*x382Ao@Fyrz3
z6)8YLTTd6q5Q*^8bB<gL3LGvMXX@$AyVD|gdcpn;FLZkZ85>gk?p|FbY+$_6YQkMJ
qh3x8sceiFb>`%KNFS>_OdcM0%Yt@2ZbAbjic)I$rx~y|bXaWG5M=>}6

diff --git a/web/public/images/bullet2.png b/web/public/images/bullet2.png
index 7568df1d6ef9199a9a597a4e899777106ea5e09d..a23b1129193f115348efaaf98c42ba3e100b0eea 100755
GIT binary patch
delta 103
zcmV-t0GR*k0`vlqK?nm4DFU{HOP-NQ*Hk}AL_t&tnQhL&4FDhrL(z{jF%IJ~4m;t2
zXcX;<^c{+1CgARXnXxkVrK-gpnq6>Ohlr@9@og_STR`gFHxoV$8wttu3?~2p002ov
JPDHLkV1ix&DGdMs

delta 93
zcmV-j0HXi&0_p;gK?ni`A_aZBF)NWt*Ge@>L_t&tnQhH64gf$10>Q=q|CuXDE^4Gg
zrcky4NkDp1zu69NST>;B21)r;=Q^OTz&LsyoDUlbe#Qw`00000NkvXXu0mjfQYj*1

diff --git a/web/src/SearchResults.css b/web/src/SearchResults.css
index 8039d32..5408b29 100644
--- a/web/src/SearchResults.css
+++ b/web/src/SearchResults.css
@@ -1,4 +1,4 @@
-#search-results { padding: 0 0.25em ; }
+#search-results { padding: 0 0.25em ; outline: none ; }
 #search-results .no-results { font-style: italic ; }
 #search-results .loading { width: 100% ; height: 100% ; }
 
diff --git a/web/src/index.css b/web/src/index.css
index b58ddae..a8cde35 100644
--- a/web/src/index.css
+++ b/web/src/index.css
@@ -13,6 +13,7 @@ ul ul, ol ul { list-style-image: url("/images/bullet2.png") }
 input[type="text"] { height: 22px ; border: 1px solid #c5c5c5 ; padding: 2px 5px ; }
 label { height: 1.25em ; margin-top: -3px ; }
 textarea { padding: 2px 5px ; resize: vertical ; }
+pre { font-size: 90% ; }
 blockquote {
     margin: .5em 1em .75em 1em ; padding: 5px 5px 5px 15px ;
     border: 1px solid #ddd ; background: #fffff0 ;