🔀 Merge settings radius tweeks (#6)

Settings radius
This commit is contained in:
trickypr 2022-01-08 20:39:59 +11:00 committed by GitHub
commit 744cce8c56
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 23 additions and 1 deletions

2
melon

@ -1 +1 @@
Subproject commit 1e6254d4488cd874a173a6405bf137c1361daddd
Subproject commit 9272c22210343cebe016f48f4bdb6b8e00992fee

View File

@ -0,0 +1,22 @@
diff --git a/browser/themes/shared/preferences/preferences.inc.css b/browser/themes/shared/preferences/preferences.inc.css
index e4e49f5f9216029a2221f51f03cc95107e4f0ebb..c88cc03bed134abd9a22875de377da7825c5931e 100644
--- a/browser/themes/shared/preferences/preferences.inc.css
+++ b/browser/themes/shared/preferences/preferences.inc.css
@@ -150,7 +150,7 @@ checkbox {
animation: fade-out 0.5s ease-out 2s forwards;
/* Show the border to spotlight the components in high-contrast mode. */
border: 1px solid transparent;
- border-radius: 2px;
+ border-radius: var(--border-radius-1);
}
@keyframes fade-out {
@@ -921,7 +921,7 @@ image.update-throbber {
background-color: var(--in-content-box-info-background);
padding: 9px;
border: 1px solid transparent;
- border-radius: 4px;
+ border-radius: var(--border-radius-2);
}
.info-box-container.smaller-font-size {