From 58cb35cb05a2cf262747f1898281d173b4dbef23 Mon Sep 17 00:00:00 2001 From: pommicket Date: Sat, 17 Jun 2023 10:11:51 +0100 Subject: ui niceties --- index.html | 55 +++++++++++++++++++++++++++++++++++-------------------- 1 file changed, 35 insertions(+), 20 deletions(-) (limited to 'index.html') diff --git a/index.html b/index.html index 08ae0d7..56698c5 100644 --- a/index.html +++ b/index.html @@ -82,7 +82,7 @@ vertical-align: middle; display: inline-block; height: 2.0em; - margin: 0.3em 0.1em 0.3em 0.3em; + margin: 0.3em 0 0.3em 0.3em; border: 2px solid var(--ui-border); background-color: black; color: white; @@ -95,9 +95,20 @@ font-size: inherit; height: 1.5em; } + input[type=number] { + /* disable increment/decrement buttons (firefox) */ + -moz-appearance: textfield; + } + input::-webkit-outer-spin-button, input::-webkit-inner-spin-button { + /* disable increment/decrement buttons (webkit) */ + -webkit-appearance: none; + } #ui label { margin-right: 0.5em; } + #ui div { + display: inline-block; + } img.icon { height: 1.5em; } @@ -168,25 +179,29 @@ void main() {
- - - - - - - - +
+ + + + +
+
+ + + + +
-- cgit v1.2.3