style: run prettier after minecraft theme

This commit is contained in:
2026-05-18 04:04:18 -06:00
parent 629f461c33
commit 0e60bbee4d

View File

@@ -1940,9 +1940,7 @@ html[data-design-theme="minecraft"] .design-theme-list [role="option"] {
border-radius: 0;
}
html[data-design-theme="minecraft"]
.design-theme-list
[role="option"]:hover,
html[data-design-theme="minecraft"] .design-theme-list [role="option"]:hover,
html[data-design-theme="minecraft"]
.design-theme-list
[role="option"][aria-selected="true"] {
@@ -2016,7 +2014,12 @@ html[data-theme="light"][data-design-theme="minecraft"] {
--accent-3: #8b6914;
--accent-secondary-rgb: 135, 206, 235;
--page-gradient: linear-gradient(180deg, #87ceeb 0%, #c9e8f7 50%, #f0f8ff 100%);
--page-gradient: linear-gradient(
180deg,
#87ceeb 0%,
#c9e8f7 50%,
#f0f8ff 100%
);
--page-texture: none;
--title-gradient: linear-gradient(135deg, #5c9e40 0%, #8b6914 100%);