summaryrefslogtreecommitdiff
path: root/public
diff options
context:
space:
mode:
authorTor Andersson <tor@ccxvii.net>2023-08-23 18:46:32 +0200
committerTor Andersson <tor@ccxvii.net>2023-08-31 22:52:37 +0200
commitcce4df5b31627482ca1ce595223e4ae02800f0dc (patch)
tree311bb62cabcfa317f4c74f0906786f9fe4d76bdf /public
parent23ccfae95c9297dbeeb2b8378d1cfea0f96d7e36 (diff)
downloadserver-cce4df5b31627482ca1ce595223e4ae02800f0dc.tar.gz
Tweak CSS syntax.
Diffstat (limited to 'public')
-rw-r--r--public/common/play.css5
-rw-r--r--public/fonts/fonts.css4
-rw-r--r--public/style.css22
3 files changed, 18 insertions, 13 deletions
diff --git a/public/common/play.css b/public/common/play.css
index 9cd065f..8fe084e 100644
--- a/public/common/play.css
+++ b/public/common/play.css
@@ -393,9 +393,10 @@ header .viewpoint_button.selected:active:hover {
#chat_x, #notepad_x {
user-select: none;
cursor: pointer;
- float: right;
+ position: absolute;
+ right: 3px;
+ top: 3px;
padding: 0px 2px;
- margin: 4px 4px;
}
#chat_x:hover, #notepad_x:hover {
diff --git a/public/fonts/fonts.css b/public/fonts/fonts.css
index 05ed936..7c9d86a 100644
--- a/public/fonts/fonts.css
+++ b/public/fonts/fonts.css
@@ -1,6 +1,6 @@
-@font-face{font-family:'Circled Numbers';src:url('/fonts/CircledNumbers.woff2')format('woff2');unicode-range:U+2460-2465, U+2776-277B}
+@font-face{font-family:'Circled Numbers';src:url('/fonts/CircledNumbers.woff2')format('woff2');unicode-range:U+2460-2465,U+2776-277B}
@font-face{font-family:'Dingbats';src:url('/fonts/Dingbats.woff2')format('woff2');unicode-range:U+2701-27FF}
-@font-face{font-family:'Noto Emoji';src:url('/fonts/NotoEmoji.woff2')format('woff2')}
+@font-face{font-family:'Noto Emoji';src:url('/fonts/NotoEmoji.woff2')format('woff2');unicode-range:U+2701-27FF,U+1F000-U+1FFFF}
@font-face{font-family:'Source Sans';src:url('/fonts/SourceSans3-Regular.woff2')format('woff2')}
@font-face{font-family:'Source Sans';font-style:italic;src:url('/fonts/SourceSans3-It.woff2')format('woff2')}
diff --git a/public/style.css b/public/style.css
index f3b4493..19486a5 100644
--- a/public/style.css
+++ b/public/style.css
@@ -2,14 +2,14 @@ html, input, textarea {
font-family: "Source Serif", "Georgia", "Noto Emoji", "Dingbats", serif;
font-size: 16px;
}
-button, select {
+button, select, option {
font-family: "Source Sans", "Verdana", "Noto Emoji", "Dingbats", sans-serif;
font-size: 16px;
}
-html, body { margin: 0; }
-h1 { margin-left: -2px; }
-h2 { margin-left: -1px; }
+html, body { margin: 0 }
+h1 { margin: 16px 0 16px -1px; font-size: 24px; }
+h2 { margin: 16px 0 16px -1px; font-size: 20px; }
a { color: blue; }
.w { white-space: nowrap; }
.r { text-align: right; }
@@ -41,7 +41,7 @@ div.logo {
min-width: 150px;
}
div.logo img {
- box-shadow: 1px 2px 4px 0px rgba(0,0,0,0.3);
+ box-shadow: 1px 2px 4px 0px #0004;
}
input[type="checkbox"], input[type="radio"] {
@@ -69,6 +69,10 @@ button:enabled:active:hover, select:active {
border-color: darkgray white white darkgray;
padding: 2px 9px 0px 11px;
}
+option {
+ background-color: white;
+ color: black;
+}
button:disabled {
color: gray;
border-color: gainsboro;
@@ -86,7 +90,7 @@ table {
min-width: min(50rem,100%);
border-collapse: collapse;
border: 1px solid black;
- box-shadow: 1px 2px 4px rgba(0,0,0,0.2);
+ box-shadow: 1px 2px 4px #0004;
}
thead, tfoot {
background-color: gainsboro;
@@ -111,7 +115,7 @@ div.post {
max-width: 50em;
margin-top: 24px;
border: 1px solid black;
- box-shadow: 1px 2px 4px rgba(0,0,0,0.2);
+ box-shadow: 1px 2px 4px #0004;
}
div.post > div.head {
display: flex;
@@ -139,7 +143,7 @@ article hr + p { font-style: italic; }
}
.game_item {
border: 1px solid black;
- box-shadow: 1px 2px 4px rgba(0,0,0,0.2);
+ box-shadow: 1px 2px 4px #0004;
}
.game_head, .game_main {
display: flex;
@@ -150,7 +154,7 @@ article hr + p { font-style: italic; }
border-bottom: 1px solid black;
}
.game_info {
- font-family: "Source Serif SmText", "Dingbats", "Noto Emoji", "Georgia", serif;
+ font-family: "Source Serif SmText", "Georgia", "Noto Emoji", "Dingbats", serif;
font-size: 14px;
line-height: 20px;
}