diff --git a/htroot/HostBrowser.html b/htroot/HostBrowser.html index 1e93bacd3..68d784211 100644 --- a/htroot/HostBrowser.html +++ b/htroot/HostBrowser.html @@ -81,15 +81,18 @@ function updatepage(str) {
#[result]# diff --git a/htroot/env/base.css b/htroot/env/base.css index 82f262c59..bd4b4b688 100644 --- a/htroot/env/base.css +++ b/htroot/env/base.css @@ -120,12 +120,6 @@ label { cursor:pointer; } -input { -margin:0.2em; -margin-top:0px; -margin-bottom:0px; -} - pre { font-family:monospace; }