/* Nur CMS-Bereich (wird von oben.php geladen, von oben_tour.php nicht):
   deaktivierte Buttons immer grau – auch gegen spezifischere Regeln wie
   .realbutton.blau. Früher dynamisch in css/style.php erzeugt. */
button:disabled, button[disabled] {
    background-color: #cccccc !important;
}