From a71174f55fc21b7805e70442bb442d71f91fd246 Mon Sep 17 00:00:00 2001 From: echo Date: Fri, 22 Dec 2017 13:11:33 +0800 Subject: [PATCH 1/3] fix gui layout --- drawMapGUI.html | 38 ++++++++++++++++++++++++-------------- 1 file changed, 24 insertions(+), 14 deletions(-) diff --git a/drawMapGUI.html b/drawMapGUI.html index cf4e9356..d1bf237f 100644 --- a/drawMapGUI.html +++ b/drawMapGUI.html @@ -8,6 +8,9 @@ font-family:Roboto,Helvetica,Arial,sans-serif; background-color: #F5F5F5; } + ::-webkit-scrollbar { + width: 5px; + } .main { max-width: 100%; min-height: 500px; @@ -43,6 +46,7 @@ margin-left: 22px; margin-top: 21px; line-height: 20px; + font: 400 13.3333px Arial; } #editTip{ position: absolute; @@ -314,11 +318,10 @@ @@ -326,8 +329,8 @@ - - + + - - + +