Fix formatting of participants table. (#110)

SMT-COMP · Jul 9, 2024 · cb99ed2 · cb99ed2
1 parent 6211883
commit cb99ed2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/web/themes/smtcomp/assets/css/main.css b/web/themes/smtcomp/assets/css/main.css
@@ -704,3 +704,9 @@ td.track {
   width: 6em;
   white-space: normal;
 }
+
+col.archive,
+td.archive {
+  width: 6em;
+  white-space: normal;
+}
diff --git a/web/themes/smtcomp/layouts/shortcodes/participants.html b/web/themes/smtcomp/layouts/shortcodes/participants.html
@@ -10,7 +10,7 @@
     <col class="track"> <!-- parallel -->
 
     <col class="authors">
-    <col>
+    <col class="archive">
     <col>
   </colgroup>
   <tbody>