/* Stil für die Container der Boxen */
.portal-container {
    display: flex;
    flex-wrap: wrap;
    gap: 10px; /* Abstand zwischen den Boxen */
}
/* Stil für die Box */
.portal-box {
    border: 1px solid #a2a9b1;
    padding: 10px;
    margin-bottom: 10px;
    background-color: #f9f9f9;
    box-shadow: 0 1px 1px rgba(0, 0, 0, 0.1);
    flex: 1 1 calc(33.333% - 10px); /* Jede Box nimmt ein Drittel der Breite ein, minus Abstand */
    box-sizing: border-box; /* Damit Padding und Border in der Breite mit einberechnet werden */
}
/* Stil für die Überschrift der Box */
.portal-box h2 {
    font-family: inherit;
    font-size:   1em;
    font-weight: bold;
    line-height: 1.5;
    display: 	block !important; /* zur Korrektur unerwünschter Effekte mit display:flex in Mobilversion */
    background-color: #d0e4f7;
    margin: -10px -10px 10px -10px;
    padding: 5px 10px;
    border-bottom: 1px solid #a2a9b1;
}
/* Inhaltsverzeichnis für Seiten mit der Klasse 'no-toc' ausblenden */
.no-toc .toc {
    display: none;
}