Ottimizzazione UI player, rotazione head tilt invertita, prefisso playlist in Home e implementazione Identity QR modal e interceptor API

This commit is contained in:
David Frassi
2026-06-12 17:13:46 +02:00
parent 4d1883a45d
commit d023bb7d3f
31 changed files with 1706 additions and 160 deletions
+12
View File
@@ -946,12 +946,24 @@ ion-title {
margin-left: 6px;
display: inline-block;
vertical-align: middle;
&.mio-badge {
background: rgba(var(--ion-color-secondary-rgb), 0.15);
color: var(--ion-color-secondary);
border-color: rgba(var(--ion-color-secondary-rgb), 0.35);
}
}
:host-context(body.high-contrast) .non-validato-badge {
background: rgba(231, 76, 60, 0.1) !important;
color: #c0392b !important;
border-color: #c0392b !important;
&.mio-badge {
background: rgba(var(--ion-color-secondary-rgb), 0.1) !important;
color: var(--ion-color-secondary-shade, #007bb6) !important;
border-color: var(--ion-color-secondary-shade, #007bb6) !important;
}
}
/* ==========================================================================