* { box-sizing: border-box; }

html,body{
    font:18px/1.4 serif;
    padding:0;
    margin:0;
}

.mainwidth {
    max-width: 42rem;
    margin: 0 auto;
}

main{
    /* max-width:70ch; */
    /* margin: 0; */
    padding:2em 1ch;
    background: white;
}

main > :last-child {
    border-bottom: 2px solid;
    margin-top: -1rem;
    margin-bottom: 3rem;
}

main > :last-child::after {
    content: "\2766";
    font: 18px/1 serif;
    position: relative;
    top: 0.75rem;
    left: 50%;
    background: white;
}

#main-last-child {
    clear: both;
}

body>header{ top:0; }
body>footer{ bottom: 0; }

body>header,body>footer{
    font:80% monospace;
    background:#333;
    color:white;
    padding:2px 0;
    position: fixed;
    left: 0; right: 0;
}

body>header a,body>footer a,.phi {
    color:inherit;
    text-decoration:none;
    margin:0;
    padding:2px;
}

body>header a.current,body>footer a.current,
body>header a:hover,body>footer a:hover {
    color:#333;
    background:white;
}

#portrait {
    float:left;
    margin-right: 2ch;
    border-radius:50%;
}

h1,h2,h3,h4,h5,h6 {
    font: 1rem sans-serif;
    margin: 0;
}
h1 {
    text-transform: uppercase;
    letter-spacing: 0.2rem;
    font-weight: bold;
    border-top: 2px solid;
    margin: 0.5rem 0 0.8rem 0;
}
h2 {
    font-style: italic;
    font-weight: bold;
    letter-spacing: 1px;
    margin: 0.4rem 0 0.6rem 0;
}
h2::before {
    content: "\261e"; /* index */
    position: relative;
    font: 24px/1 normal normal;
    margin-right: 0.5rem;
}
h3 {
    font-weight: bold;
    margin: 0.3rem 0 0.4rem 0;
}
h3::before {
    content: "\25ca"; /* lozenge */
    position: relative;
    font: 18px/1 normal normal;
    margin: 0 1rem;Web/acdw.net/S/
}
h4,h5,h6 { margin: 0.2rem 0 0.2rem 0; }
h4::before,
h5::before,
h6::before {
    content: "\2022"; /* bullet */
    margin-right: 1rem;
}
h4::before { margin-left: 2rem; }
h5::before { margin-left: 3rem; }
h6::before { margin-left: 4rem; }

pre,code {
    font: 16px/1.2 monospace;
    background: #eee;
    
}
pre {
    padding: 0.5rem;
    border-radius: 0.5rem;
}
code { border-radius: 4px;
       padding: 0 4px; }