:root {
  /*--serif: Whitman, 'Linux Libertine', serif;*/
    --sans: "Linux Biolinum", "CooperHewitt", Arial;
    --serif: "Linux Libertine", serif;
  /*--monospace: Hack;*/
}

@font-face {
    font-family: CooperHewitt;
    src: url('/fonts/CooperHewitt-Medium.woff') format('woff');
    font-style: normal;
    font-weight: normal;
}
@font-face {
    font-family: CooperHewitt;
    src: url('/fonts/CooperHewitt-BookItalic.woff') format('woff');
    font-style: italic;
    font-weight: normal;
}
@font-face {
    font-family: CooperHewitt;
    src: url('/fonts/CooperHewitt-Bold.woff') format('woff');
    font-style: normal;
    font-weight: bold;
}
@font-face {
    font-family: Linux Libertine;
    src: url('/fonts/LinLibertine_R.woff') format('woff');
    font-style: normal;
    font-weight: normal;
}
@font-face {
    font-family: Linux Libertine;
    src: url('/fonts/LinLibertine_RI.woff') format('woff');
    font-style: italic;
    font-weight: normal;
}
@font-face {
    font-family: Linux Libertine;
    src: url('/fonts/LinLibertine_RZ.woff') format('woff');
    font-style: normal;
    font-weight: bold;
}
@font-face {
    font-family: Linux Biolinum;
    src: url('/fonts/LinBiolinum_R.woff') format('woff');
    font-style: normal;
    font-weight: normal;
}
@font-face {
    font-family: Linux Biolinum;
    src: url('/fonts/LinBiolinum_RI.woff') format('woff');
    font-style: italic;
    font-weight: normal;
}
@font-face {
    font-family: Linux Biolinum;
    src: url('/fonts/LinBiolinum_RB.woff') format('woff');
    font-style: normal;
    font-weight: bold;
}

body,html{
    font-size: calc(13pt + 0.25vw);
    font-family: var(--serif);
    line-height: 1.414rem;
    color: #0c1a30;
    padding: 0;
    height: 100%;
    height: 100%;
    margin: 0;
}

p {
    margin-bottom: 0
}

p + p {
    text-indent: 1.5em;
    margin-top: 0
}

p.no-indent {
    text-indent: 0;
}

p.mt {
    margin-top: 0.5em;
}

div.right {
    text-align: right;
}

#main{
    background:#fff scroll repeat-x 0px -100px;
    margin-bottom: -40px;
    box-sizing: border-box;
    padding: 0 0 40px 0;
    width: 100%;
    min-height: 100%;
}

#content {
    width: 50%;
    margin: 0 auto;
    overflow:hidden;
    position: relative;
    height: 100%;
    padding-bottom: 40px;
}

h1 {
    font-size: 1.3rem;
}

h2 {
    font-size: 1.3rem;
}

h3 a:link, h3 a:visited, h2 a:link, h2 a:visited {
    color: #2C558A;
}

h3 {
    font-size: 1.1rem;
    margin-top: 2rem;
    line-height: 0.5rem;
}

h4 {
    font-size: 1.2rem;
}

h1,h2,h3,h4 {
    color: #2c558a;
    text-shadow: #fff 0px 1px 1px;
    font-weight: normal;
    font-family: var(--sans);
    text-transform: uppercase;
}

p.error {
    color: #EE3333;
}

a:link, a:visited{ 
    color: #2B7EA1; 
    text-decoration: none;
    outline: none;
}

#header {
    background-color: white;
}

#heading {
    width: 100%;
    background: #132742 url(nav-back.png) scroll repeat-x bottom left;
    color: #C4E7FF;
    padding: 25px 0 0 0;
    margin:0;
    height: 60px;
    overflow:hidden;
}

#heading .inner{
    width: 50%;
    margin:0 auto;
    overflow:hidden;
    line-height: 1em;
    vertical-align: top;
    height: 100px;
    padding: 0;
    position: relative;
    /*height: 4em;*/
}

#heading h1 {
	margin:0;
    padding: 0;
    margin: 0 auto;
    position: absolute;
    top: 10px;
    left: 50px;
    vertical-align: top;
}

#heading h1 a {
    color: #fff;
}

#heading img {
    width: 32px;
	margin:0;
    padding: 0;
    margin: 0 auto;
    position: absolute;
    top: 0px;
    left: 0px;
    vertical-align: top;
}

#title a {
    color: #fff;
}

#nav {
    overflow: hidden;
    color: #C4E7FF;
    height: 36px;
    padding: 4px 0 0 0;
    margin: 0;
    float: right;
}

#nav ul {
    padding: 0;
    margin: 0;
    height: 100%;
    display: inline;
    list-style: none;
    margin: 0 0 29px 10px;
    padding-left: 10px;
    text-indent: -13px;
}

#nav li {
    vertical-align: top;
    padding: 10px 0 10px 0;
    display: block;
    list-style-type: none;
    float: left;
    letter-spacing: -0.01em;
    margin: 0 20px;
    font-family: var(--sans);
    text-shadow: 1px 1px #142845;
}

#nav a:link, #nav a:visited {
    color: inherit;
    vertical-align: top;
    height: 100%;
    display: block;
}

#nav a:hover, #nav a:active, #nav a:focus {
    color: #fff;
    vertical-align: top;
    height: 100%;
    display: block;
}

a.nolink:link, a.nolink:visited {
    text-decoration: none;
    color: #FF3333;
}

a.nolink:hover {
    text-decoration: underline;
}

.singlecolumn h2 {
    line-height: 44px;
    border-bottom: 1px solid #C2D1E1;
    margin-bottom: 13px;
    padding: 0px;
}

#footer {
    position: relative;
    bottom: 0;
    left: 0;
    width: 100%;
    clear: both;
    border-top: 1px solid #C2D1E1;
    color: #a0acba;
    background: #f5f9ff;
    padding: 4px 0px;
    height: 40px;
    font-family: var(--sans);
    font-size: 0.75em;
    /* text-align: right; */
    /* vertical-align: middle; */
    line-height: 31px;
    overflow: hidden;
    box-sizing: border-box;
}

#footer p {
    padding: 0 20px;
    margin: 0;
    float: right;
}

#footer p.left {
    padding: 0 20px;
    margin: 0;
    float: left;
}

@media screen and (max-width: 650px) {
    #heading .inner {
        width: 90%;
    }

    #content {
        width: 90%;
    }

    #heading {
        height: 90px;
    }

    #nav {
        padding: 35px 0 0 0;
        float: left;
    }

    #footer {
        height: 62px;
    }

    #footer p {
        float: left;
        width: 100%;
    }

    #footer p.left {
        width: 100%;
    }
}

.katex {
    font-size: 1rem !important;
}