HTML style: fix terminal

2023-09-02 20:12:01 +02:00 · 2023-09-02 20:12:01 +02:00 · d48e24a824
parent e5318c3295
commit d48e24a824
2 changed files with 2 additions and 3 deletions
--- a/html_resources/style.css
+++ b/html_resources/style.css
@ -66,7 +66,6 @@ pre.terminal {
  border: 1px solid black;

  padding: 1em;
-  padding-bottom: 0em;
 }

 pre.paper {