diff --git a/web/public/images/bullet.png b/web/public/images/bullet.png index d1fdb8f..b9d4402 100644 Binary files a/web/public/images/bullet.png and b/web/public/images/bullet.png differ diff --git a/web/public/images/bullet2.png b/web/public/images/bullet2.png index 7568df1..a23b112 100755 Binary files a/web/public/images/bullet2.png and b/web/public/images/bullet2.png differ 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 ;