Minor button & rover CSS tweak.

This commit is contained in:
Blaž Kristan
2024-10-07 17:52:36 +02:00
parent 5e9a46d54d
commit 7deea9eb75
2 changed files with 15 additions and 11 deletions

View File

@@ -144,7 +144,7 @@ button {
}
.huge {
font-size: 42px;
font-size: 60px !important;
}
.segt, .plentry TABLE {
@@ -584,6 +584,10 @@ button {
z-index: 3;
}
#rover .ibtn {
margin: 5px;
}
#ndlt {
margin: 12px 0;
}
@@ -624,7 +628,7 @@ button {
padding-bottom: 8px;
}
.infobtn {
#info .ibtn {
margin: 5px;
}
@@ -848,7 +852,7 @@ input[type=range]::-moz-range-thumb {
width: 135px;
}
#nodes .infobtn {
#nodes .ibtn {
margin: 0;
}
@@ -1524,7 +1528,7 @@ dialog {
#info table .btn, #nodes table .btn {
width: 200px;
}
#info .infobtn, #nodes .infobtn {
#info .ibtn, #nodes .ibtn {
width: 145px;
}
#info div, #nodes div, #nodes a.btn {