Small changes to the web interface

This commit is contained in:
Xose Pérez
2016-11-14 01:16:43 +01:00
parent bf73da17d4
commit 20b27cdc87
2 changed files with 53 additions and 55 deletions

View File

@@ -52,7 +52,6 @@ legend {
div.hint {
font-size: 80%;
color: #ccc;
margin-top: -5px;
}
.module {