- a bit smaller padding

Changed files:
    PLD_Builder/request_handler_server.py -> 1.16

diff --git a/PLD_Builder/request_handler_server.py b/PLD_Builder/request_handler_server.py
index 8ce007b20b4408e1aade7e9ca53c6f6ed3ced8be..5a51fbe4f4919d25ff4782e2f861ed25cce07656 100644 (file)
--- a/PLD_Builder/request_handler_server.py
+++ b/PLD_Builder/request_handler_server.py
@@ -89,7 +89,7 @@ a:hover {
        div {
                background-color: white;
                margin: 10px 0px;
-               padding: 10px;
+               padding: 2px;
        }
        div > a {
                font-weight: bold;