cedf33cf578d464709a4a816695bce36cf111ab6
max
  Tue Apr 11 08:21:06 2023 -0700
adding browser css themes, refs #7867

diff --git src/hg/htdocs/style/theme-default.css src/hg/htdocs/style/theme-default.css
deleted file mode 100644
index e69de29..0000000