ARD Mediathek - Smaller Subtitles

Makes the subtitles on the ARD Mediathek smaller

/* ==UserStyle==
@name           ARD Mediathek - Smaller Subtitles
@version        1.0.0
@description    Makes the subtitles on the ARD Mediathek smaller
@author         floriegl
@license        CC0
@namespace      https://greasyfork.org/users/703184
==/UserStyle== */

@-moz-document url-prefix("https://www.ardmediathek.de/video/") {
    .ardplayer-untertitel * {
        font-size: 16px !important;
        line-height: 1.5 !important;
    }
    .ardplayer-xl .ardplayer-untertitel * {
        font-size: 24px !important;
    }
    .ardplayer-untertitel span:not(:has(span)) {
        background-color: rgba(0, 0, 0, 0.5) !important;
        padding: 2px !important;
    }
    .ardplayer-xl .ardplayer-untertitel span:not(:has(span)) {
        padding: 3px !important;
    }
}