html {
    background: #c1c3c5;
    font-family: Arial, "sans-serif";
    padding: 17px 17px 17px 17px;
}

body {
}

#p-body {
    position: relative;
    margin: 0 auto;
    min-width: 45em;
    max-width: 60em;
    padding-top: 85px;
    width: 100%;
}

#l-sei-logo {
    position: absolute; top: -15px; left: -76px;
    border: none;
}

#l-netsa-logo {
    position: absolute; top: 17px; left: 16px;
    font-size: 24px;
}

#l-netsa-name {
    font-weight: bold;
}

#l-netsa-motto {
    position: absolute;
    top: 45px; left: 17px; width: 315px;
    text-align: left;
    padding: 0; margin: 0;
    font-size: 18px;
    font-weight: normal;
}

#l-content {
    position: relative;
    padding: 8px 17px;
    margin-bottom: 8px;
    border: 1px solid #333333;
    background: white;
    font-size: 14px;
    line-height: 140%;
    padding-left: 220px;
    min-height: 480px;
}

#l-sidebar {
    position: absolute;
    top: 0; left: 16px; width: 186px;
    padding: 8px 0;
}

#l-sidebar .p-sidebar-section {
    margin-bottom: 17px;
}

#l-sidebar ul {
    display: block;
    margin: 0; padding: 0;
}

#l-sidebar ul ul {
    margin-left: -26px;
    margin-right: 0;
}

#l-sidebar li {
    display: block;
    margin: 0 0 0 34px; padding: 0;
    text-indent: -17px;
}

h1.l-page-title {
    position: absolute; top: 17px; right: 15px;
    margin: 0; padding: 0;
    font-size: 24px;
    font-weight: bold;
    text-align: right;
    color: black;
    border: none;
}

#l-subtitle {
    position: absolute; top: 45px; right: 17px; left: 350px;
    text-align: right;
    display: block;
    padding: 0; margin: 0;
    font-size: 18px;
    font-weight: normal;
}

.p-subtitle {

}

#l-footer {
    margin: 17px 17px 0;
    font-size: 13px;
}

#l-contact {
   float: right;
}

#l-contact > img {
   vertical-align: text-top;
   margin-top: -3px;
   margin-left: -5px;
}

a:link {
    color: #0000c0;
}

a:visited {
    color: #0000a0;
}

a {
    text-decoration: none;
}

a:link:hover, a:visited:hover {
    color: #5b5c5e;
    text-decoration: underline;
}

h1 {
    font-size: 22px;
    font-weight: normal;
    line-height: normal;
    border-bottom: 1px solid #cccccc;
    padding: 0;
    margin: 14px 0 9px;
    color: #000066;
}

h2 {
    font-size: 14px;
    font-weight: bold;
    line-height: normal;
    border-bottom: 1px solid #cccccc;
    margin: 14px 0 7px;
    color: #000066;
}

h3 {
    font-size: 14px;
    font-weight: bold;
    line-height: normal;
    margin: 14px 0 7px;
    color: #000044;
}

a:link:hover h1, a:link:hover h2, a:link:hover h3 {
    color: #5b5c5e;
    text-decoration: underline;
}

table.p-columnar td {
    vertical-align: top;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 0.5em;
    padding-top: 0.5em;
}

.p-changelog-link {
    margin: 0; padding: 0;
}

.p-download {
    margin: 8px 0 17px;
    display: block;
}

.p-download-link {
    margin-bottom: 4px;
}

.p-download-variants {
    padding-left: 0.5em;
    font-size: 11px;
}

.p-download-description {
    margin-left: 34px;
}

.p-download-checksum {
    margin-top: 0;
    margin-left: 34px;
    margin-bottom: 0;
    font-size: 11px;
}

.p-download-checksums {
    margin-top: 8px;
}

.p-project-badge {
    position: relative;
    padding: 17px;
    padding-left: 200px;
    margin-top: 8px;
    margin-bottom: 8px;
    background-color: #b0c4de;
    min-height: 48px;
}

.p-project-badge div.p-project-title-spacer {
    height: 30px;
}

.p-project-badge h1 {
    position: absolute; top: 15px; left: 17px;
    margin: 0; padding: 0; border: none;
}

.p-project-badge-download-link {
    position: absolute; top: 46px; left: 17px;
    margin: 0;
}

.p-tl, .p-tr, .p-bl, .p-br {
    width: 10px; height: 10px; background-color: red;
}

.p-tl {
    position: absolute; top: 0; left: 0;
    background: url(corner-tl.gif) no-repeat top left;
}

.p-tr {
    position: absolute; top: 0; right: 0;
    background: url(corner-tr.gif) no-repeat top right;
}

.p-bl {
    position: absolute; bottom: 0; left: 0;
    background: url(corner-bl.gif) no-repeat bottom right;
}

.p-br {
    position: absolute; bottom: 0; right: 0;
    background: url(corner-br.gif) no-repeat bottom left;
}

#p-box-background {
    position: absolute;
    height: 100%;
    width: 100%;
    background-image: url(black-50a.png);
    z-index: 999;
    display: none;
}

* html #p-box-background {
    background-image: none;
    filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src="black-50a.png", sizingMethod="scale");
}

#p-box-out {
    position: relative;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    width: 100%;
    height: 100%;
}

#p-box {
    position: absolute;
    top: 34px;
    bottom: 34px;
    width: 600px;
    margin: 0 auto;
    max-width: 90%;
    border: 1px solid black;
    background: white;
    padding: 8px 17px;
}

.p-box-terms {
    position: absolute;
    top: 17px;
    bottom: 50px;
    left: 17px;
    right: 17px;
    overflow: auto;
    padding: 0 17px;
    border: 1px solid #cccccc;
    font-size: 12px;
}

.p-box-options {
    position: absolute;
    bottom: 18px;
    right: 18px;
    text-align: right;
}

.p-box-options a:link {
    text-decoration: none;
    color: black;
}

.p-button, .p-button:visited {
    border: 1px solid #333333;
    padding: 2px 8px;
    margin-left: 8px;
    background: #cccccc;
    color: black;
    text-decoration: none;
}

.p-button:hover, .p-button:visited:hover {
    background: #aaaaaa;
    text-decoration: none;
    color: black;
}

/* copied from doxygen.css */

pre.fragment {
    border: 1px solid #C4CFE5;
    background-color: #FBFCFD;
    padding: 4px 6px;
    margin: 4px 8px 4px 2px;
    overflow: auto;
    word-wrap: break-word;
    font-size:  9pt;
    line-height: 125%;
    font-family: monospace, fixed;
    font-size: 105%;
}


/* styles from old sheet, brought over only when needed */

table.commands td {
    vertical-align: top;
    padding: 0;
}

table.commands td p {
    padding: 5px;
    margin: 0;
}

td.cmdname {
    width: 9em;
}

table.tool-index td {
    vertical-align: top;
    padding-left: 1em;
    padding-right: 1em;
    padding-bottom: 0.5em;
    padding-top: 0.5em;
}

/* Dropdowns */

.p-version-dropdown {
/*     float: left; */
    overflow: hidden;
    padding-bottom: 8px;
}

.p-version-dropdown-title {
    width: 100%;
    text-align: left;
    font-size: 16px;
    padding: 6px 14px;
}

.p-version-dropdown-title::before {
    content: "▼ ";
}

.p-version-dropdown-items {
    display: none;
    position: absolute;
    background-color: #f9f9f9;
    width: 100%;
    box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
    z-index: 1;
}

.p-version-dropdown-items a {
    float: none;
    color: black;
    padding: 6px 16px;
    text-decoration: none;
    display: block;
    text-align: left;
}

.p-version-dropdown-items a:hover {
    background-color: #ddd;
}

.p-version-dropdown:hover .p-version-dropdown-items {
    display: block;
}




/* Temporary additions for FloCon banner */
#temp-banner-holder {
    position: relative;
}
#temp-banner {
    color: white;
    margin-bottom: 1rem;
    padding: 0.9rem 2rem 1rem;
    background-image: url(https://resources.sei.cmu.edu/news-events/events/flocon/images/fullbleed_full_header_flocon_2025_1400x500_526140.jpg);
    background-color: #3F536F;
    font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
    font-weight: 300;
}
#temp-banner sup {
    font-size: 75%;
}
#temp-flocon-name {
    font-size: 26pt;
    color: white;
    text-decoration: none;
}
#temp-flocon-name:link:hover {
    text-decoration: underline;
}
#temp-flocon-date {
    position: absolute;
    font-size: 11pt;
    font-weight: 700;
    top: 0.8rem;
    left: 2rem;
    margin-top: 0.5rem;
    margin-left: 15rem;
}
#temp-flocon-buttons {
    position: absolute;
    top: 1.95rem;
    right: 1.5rem;
    font-size: 11pt;
    font-weight: 700;
}
a.temp-flocon-button {
    margin-left: 1rem;
    border: 2px solid white;
    background: #b00;
    color: white;
    padding: 0.5rem 1rem;
    text-decoration: none;
}
a.temp-flocon-button:hover:link, a.temp-flocon-button:hover:visited {
    background: white;
    color: #b00;
    border-color: #b00;
    text-decoration: none;
}