more tweak: dotted line under buttons

WebAudio · Apr 29, 2024 · 8ef4ea7 · 8ef4ea7
1 parent 51e2622
commit 8ef4ea7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/index.bs b/index.bs
@@ -331,6 +331,11 @@ del[cite].proposed {
     text-decoration-style: solid !important;
     text-decoration-color: #330099;
 }
+.amendment-buttons {
+    margin-bottom: 2em;
+    padding: 1em 0em;
+    border-bottom: 1px dashed #330099;
+}
 </style>
 
 <h2 id="introductory" class=no-num>