/* Generiert von tools/build.py aus style-hover-Attributen. Nicht bearbeiten. */

.hv-1:hover { color: #0F57A0 !important; }
.hv-2:hover { background: #F4F7FA !important; color: #0F57A0 !important; }
.hv-3:hover { background: #0A4076 !important; color: #fff !important; }
.hv-4:hover { background: rgba(255,255,255,.14) !important; color: #fff !important; }
.hv-5:hover { background: rgba(15,87,160,.08) !important; color: #0F57A0 !important; }
.hv-6:hover { border-color: #0F57A0 !important; }
.hv-7:hover { background: #0A4076 !important; }
.hv-8:hover { background: rgba(15,87,160,.08) !important; }
.hv-9:hover { color: #0A4076 !important; }
.hv-10:hover { color: #F7C34B !important; }
.hv-11:hover { background: #E8F0F8 !important; }
.hv-12:hover { border-color: #0F57A0 !important; color: #0F57A0 !important; }