gui: round off the borders for the paper itself

Because we don't want to hurt ourselves on those sharp edges, do we?
2019-07-19 16:43:54 +10:00 · 2019-07-19 16:43:54 +10:00 · 0b9d4c2602
parent d06b92e9af
commit 0b9d4c2602
1 changed files with 1 additions and 0 deletions
--- a/tuhi-gui.in
+++ b/tuhi-gui.in
@ -27,6 +27,7 @@ def gtk_style():
      background-color: white;
    }
    .bg-paper {
+      border-radius: 5px;
      background-color: #ebe9e8;
    }
    .drawing {