body {
    /* font-family: Arial, Helvetica, sans-serif; */
    font-family: Verdana, sans-serif;
    font-style: normal;
    font-weight: 400;
    font-size: 1rem;
    line-height: 1.5em;
    color: #000000;
    background-color:#EFEEF3;
}

header {
    background-image: url("background.png");
    background-repeat: no-repeat;
    background-attachment: fixed;
    background-size: cover;
    color: #ffffff;
}

header>* {
    background-color: #282739;
}

header nav {
    padding: 1em;
}
header section {
    min-height: 250px;
    background-color: rgba(40, 39, 57, 0.33);
    font-size: 1.625rem;
}
header section article {
    padding-left: 50px;
    padding-top: 50px;
}

header section h1 {
    text-transform: uppercase;
    font-style: normal;
    font-weight: bolder;
    font-size: 3.125rem;
    line-height: 2.875rem;
    padding-bottom: 0.5em;
}

article>h2 {
    color: #BD1A41;
    padding: 0.5em;
    border-top: 1px solid rgb(212, 212, 212);
    border-bottom: 1px solid rgb(212, 212, 212);
    font-size: 1.5rem;
    margin-top: 1.5em;
    margin-bottom: 1em;
}

article>h3 {
    color: #BD1A41;
    font-style: italic;
    padding: 0.5em;
    font-size: 1.0rem;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

article ul {
    list-style: circle;
    margin-left: 3em;
}

a {
    color: #BD1A41;
    text-decoration: none;
    font-weight: bolder;
    
}

.lec-stripe {
    position: relative;
    height: 1.25rem;
    left: -100%;
    width: 100%;
    background:#BD1A41;
}
header footer {
    min-height: 2.5em;
}

.content {
    max-width: 1200px;
    /* width: 1440px; */
    margin: auto;
}

.symbol-logo {
    max-width: 6.875rem;
    max-height: 1.4375rem;
}

.code {
    background-color: lightgray;
    font-family: monospace;
    padding: 1px 3px;
}