misc improvements for library usage:

- app: allow custom serviceworker path, or disable altogether - page download options: add warc/1.0 option - ui: remove unused small style from chooser ui: tweak initial refresh time to half second bump to 1.5.1
2021-09-07 22:42:13 -07:00
parent f4699444fb
commit 589ea5ddd4
11 changed files with 93 additions and 82 deletions
@@ -24,6 +24,9 @@ $dark: $wr-dark-green;
 $navbar-breakpoint: 840px;
 $navbar-height: 2.0rem;

+$modal-card-title-size: 1.2rem;
+
+
 // Set placeholder contrast to ~4.5:1 for WCAG AA compliance
 $input-placeholder-color: #757575;
 $input-disabled-placeholder-color: #707070;