/* PTx color variables */
:root {
    --gray-200: #C1CEC9;
    --gray-950: #171C1B;
    --blue-500: #388BFF;
    --blue-600: #425ADC;
    --text-color: var(--gray-950);
    --link-color: var(--blue-600);
    --link-hover-color: var(--blue-500);
    --border-color: var(--gray-200);
    --header-bg-color: #ffffff;
}

li p {
    font-weight: 400;
    font-size: 14px;
    letter-spacing: 0.15px;
    line-height: 21px;
    color: var(--text-color);
}

.modus-header {
    background-color: var(--header-bg-color);
    height: 47px;
    border-bottom: 1px solid var(--border-color);
}

.ptx-logo {
    height: 35px;
    width: 105px;
    margin: 6px 15px;
}

.nav-header {
    margin-left: 25px;
    color: var(--text-color);
}

.nav-header:hover {
    color: var(--link-hover-color);
    text-decoration: none;
}

.active {
    text-decoration: underline;
}

.release-header {
    font-weight: 600;
    font-size: 18px;
    letter-spacing: 0.15px;
    line-height: 16px;
    color: var(--text-color);
    margin-top: 32px;
}

#main-header {
    font-weight: 800;
    font-size: 24px;
    letter-spacing: 0.5px;
    line-height: 36px;
    color: var(--text-color);
    margin-top: 24px;
    margin-bottom: 16px;
}

#release-body {
    max-width: 75ch;
}

.text-link {
    color: var(--link-color);
}

.text-link:hover {
    color: var(--link-hover-color);
    text-decoration: none;
}