web: more compact output on desktop and mobile

2023-11-26 15:46:03 -08:00
parent d5a001bf03
commit 02e16b4547
2 changed files with 14 additions and 6 deletions
--- a/web/index.html
+++ b/web/index.html
@@ -95,6 +95,11 @@ input::placeholder, .input::placeholder{
  color: #555;
 }

+.mobile .search-results,
+.mobile .thread  {
+  padding: 1em;
+}
+
 .search-results .row {
  border-bottom: 1px #444 solid;
  padding-bottom: .5em;