Move to "show pretty" currently a dupe of 'show'.

2023-03-02 09:33:48 -08:00
parent 369e88880a
commit c33f901f48
3 changed files with 76 additions and 20 deletions
--- a/web/index.html
+++ b/web/index.html
@@ -42,6 +42,9 @@ iframe {
  height: 3em;
  padding: 1em;
 }
+.tag {
+  margin-right: 2px;
+}
 </style>
 </head>