Merge remote-tracking branch 'origin/tracking' into custom

This commit is contained in:
roytam1 2025-07-07 11:59:17 +08:00
commit bd335d6284
36 changed files with 1149 additions and 306 deletions

View file

@ -16,7 +16,7 @@ body {
div.ancillary {
margin: 0.5em 0;
-moz-user-select: none;
user-select: none;
}
div.section {
@ -71,7 +71,7 @@ h3 {
a.upDownArrow {
font-size: 130%;
text-decoration: none;
-moz-user-select: none; /* no need to include this when cutting+pasting */
user-select: none; /* no need to include this when cutting+pasting */
}
.accuracyWarning {
@ -114,17 +114,17 @@ a.upDownArrow {
}
.noselect {
-moz-user-select: none; /* no need to include this when cutting+pasting */
user-select: none; /* no need to include this when cutting+pasting */
}
.option {
font-size: 80%;
-moz-user-select: none; /* no need to include this when cutting+pasting */
user-select: none; /* no need to include this when cutting+pasting */
}
.legend {
font-size: 80%;
-moz-user-select: none; /* no need to include this when cutting+pasting */
user-select: none; /* no need to include this when cutting+pasting */
}
.debug {