Fossil SCM
A couple framework-level CSS micro-tweaks uncovered by testing with different skins.
Commit
e982f18bd30de69382b9eb0866fa68fb48873d14dc69bcc5f10a1d40bcb0d82a
Parent
6f03a598fecabef…
1 file changed
+4
-3
+4
-3
| --- src/default.css | ||
| +++ src/default.css | ||
| @@ -1108,13 +1108,13 @@ | ||
| 1108 | 1108 | we can include multiple INPUT elements (e.g. a set of radio |
| 1109 | 1109 | buttons). Note that these elements must sometimes be BLOCK elements |
| 1110 | 1110 | (e.g. DIV) so that certain nesting constructs are legal. |
| 1111 | 1111 | */ |
| 1112 | 1112 | .input-with-label { |
| 1113 | - border: 1px inset #808080; | |
| 1113 | + border: 1px inset rgba(128, 128, 128, 0.5); | |
| 1114 | 1114 | border-radius: 0.25em; |
| 1115 | - padding: 0.25em 0.4em; | |
| 1115 | + padding: 0.15em 0.25em; | |
| 1116 | 1116 | margin: 0 0.5em; |
| 1117 | 1117 | display: inline-block; |
| 1118 | 1118 | cursor: default; |
| 1119 | 1119 | white-space: nowrap; |
| 1120 | 1120 | } |
| @@ -1315,11 +1315,12 @@ | ||
| 1315 | 1315 | display: inline-block; |
| 1316 | 1316 | min-width: 1rem; |
| 1317 | 1317 | max-width: 1rem; |
| 1318 | 1318 | min-height: 1rem; |
| 1319 | 1319 | max-height: 1rem; |
| 1320 | - font-size: 0.9em; | |
| 1320 | + line-height: 1 /*important for some skins*/; | |
| 1321 | + font-size: 100%; | |
| 1321 | 1322 | border-radius: 0.5rem; |
| 1322 | 1323 | background-color: rgba(54, 54, 255,1); |
| 1323 | 1324 | color: rgb(255, 255, 255); |
| 1324 | 1325 | cursor: pointer; |
| 1325 | 1326 | font-family: monspace; |
| 1326 | 1327 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1108,13 +1108,13 @@ | |
| 1108 | we can include multiple INPUT elements (e.g. a set of radio |
| 1109 | buttons). Note that these elements must sometimes be BLOCK elements |
| 1110 | (e.g. DIV) so that certain nesting constructs are legal. |
| 1111 | */ |
| 1112 | .input-with-label { |
| 1113 | border: 1px inset #808080; |
| 1114 | border-radius: 0.25em; |
| 1115 | padding: 0.25em 0.4em; |
| 1116 | margin: 0 0.5em; |
| 1117 | display: inline-block; |
| 1118 | cursor: default; |
| 1119 | white-space: nowrap; |
| 1120 | } |
| @@ -1315,11 +1315,12 @@ | |
| 1315 | display: inline-block; |
| 1316 | min-width: 1rem; |
| 1317 | max-width: 1rem; |
| 1318 | min-height: 1rem; |
| 1319 | max-height: 1rem; |
| 1320 | font-size: 0.9em; |
| 1321 | border-radius: 0.5rem; |
| 1322 | background-color: rgba(54, 54, 255,1); |
| 1323 | color: rgb(255, 255, 255); |
| 1324 | cursor: pointer; |
| 1325 | font-family: monspace; |
| 1326 |
| --- src/default.css | |
| +++ src/default.css | |
| @@ -1108,13 +1108,13 @@ | |
| 1108 | we can include multiple INPUT elements (e.g. a set of radio |
| 1109 | buttons). Note that these elements must sometimes be BLOCK elements |
| 1110 | (e.g. DIV) so that certain nesting constructs are legal. |
| 1111 | */ |
| 1112 | .input-with-label { |
| 1113 | border: 1px inset rgba(128, 128, 128, 0.5); |
| 1114 | border-radius: 0.25em; |
| 1115 | padding: 0.15em 0.25em; |
| 1116 | margin: 0 0.5em; |
| 1117 | display: inline-block; |
| 1118 | cursor: default; |
| 1119 | white-space: nowrap; |
| 1120 | } |
| @@ -1315,11 +1315,12 @@ | |
| 1315 | display: inline-block; |
| 1316 | min-width: 1rem; |
| 1317 | max-width: 1rem; |
| 1318 | min-height: 1rem; |
| 1319 | max-height: 1rem; |
| 1320 | line-height: 1 /*important for some skins*/; |
| 1321 | font-size: 100%; |
| 1322 | border-radius: 0.5rem; |
| 1323 | background-color: rgba(54, 54, 255,1); |
| 1324 | color: rgb(255, 255, 255); |
| 1325 | cursor: pointer; |
| 1326 | font-family: monspace; |
| 1327 |