/* hpw */

.hpw .abstract {
    max-width: 600px;
    margin-right: auto;
    margin-left: auto;
    margin-top: 0.7em;
}
.hpw .abstract h1 {
    font-size: 2em;
    font-weight: bold;
}
.hpw .abstract p {
    margin-top: 0.5em;
}
.hpw .abstract .label {
    font-style: normal;
    font-weight: bold;
}
.hpw .abstract .text {
    font-style: italic;
}


.hpw .brim h2 {
    text-align: center;
    font-size: 1.5em;
    font-weight: bold;
}
.hpw #overview1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}
.hpw #code1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}
.hpw #math1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}
.hpw #conclusion1 {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}


.hpw .brim {
    padding-left: 0.7em;
    padding-right: 0.7em;
}


.hpw .brim blockquote {
    font-size: 1.3em;
    color: #777777;
    margin-top: 0.7em;
}


.hpw .brim sup {
    vertical-align: super;
    font-size: 80%;
}


.hpw .brim .link {
    background: yellow;
    color: black;
    text-decoration: none;
}


.hpw .brim code {
    margin-left: 0.3em;
    margin-right: 0.3em;
    font-family: monospace;
}


.hpw .brim p {
    margin-top: 0.5em;
}
.hpw .brim .edge {
    margin-top: 0;
}


.hpw .brim img {
    margin-top: 0.5em;
    margin-left: auto;
    margin-right: auto;
    display: block;
}


.hpw .brim ol {
    margin-top: 0.5em;
    list-style-type: decimal;
    padding-left: 40px;
}
.hpw .brim li { }


.hpw .brim .gist {
    margin-top: 1em;
    margin-bottom: 1em;
}


.hpw .brim table {
    display: block;
    margin-left: auto;
    margin-right: auto;
    margin-top: 0.7em;
    border-spacing: 10px 2px;
    border-collapse: separate;
}
.hpw .brim th {
    font-weight: bold;
}
.hpw .brim .abbr {
    text-align: center;
}


.hpw .imb {
    margin-left: 0.2em;
    margin-right: 0.2em;
}
.hpw .iml {
    margin-left: 0.2em;
}
.hpw .imr {
    margin-right: 0.2em;
}


.hpw .brim .theorem .label {
    font-weight: bold;
}
.hpw .brim .theorem .text {
    margin-left: 2em;
}
.hpw .brim .theorem .label {
    font-weight: bold;
    margin-top: 0.5em;
}

.hpw .alt {
    background-color: #EEFFEE;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
}
.hpw .lemma1 {
    margin-top: 1em;
}
.hpw .lemma2 {
    margin-top: 1em;
}
.hpw .defs1 {
    margin-top: 0.5em;
}
.hpw .theorem1 {
    margin-top: 1em;
}
.hpw .examples1 {
    margin-top: 0.7em;
    margin-bottom: 0.7em;
}

.hpw .examples1 h3 {
    margin-top: 0.5em;
    font-size: 1.2em;
    text-align: center;
}

.hpw .qed {
    font-weight: bold;
    font-size: 110%;
    margin-left: auto;
    width: 4em;
    margin-top: 0.7em;
}