nice rounded edge..

2018-12-07 14:31:29 +02:00
parent 4fa5f38906
commit 2fafb46f41
1 changed files with 1 additions and 0 deletions
--- a/web/SimpleWebPage.py
+++ b/web/SimpleWebPage.py
@@ -153,6 +153,7 @@ def get_header(opts):
      box-shadow: 0 5px 10px -5px rgba(0,0,0,0.5);
      position: relative;
      background: #eee;
+      border-top-left-radius: 6em;
    }
    table {
      background-color: #F3F3F3;