@font-face{font-family:Fern;font-display:swap;font-weight:400 800;font-variation-settings:"opsz" 12;src:url("/assets/fern.woff2") format("woff2")}@font-face{font-family:Fern;font-display:swap;font-style:italic;font-weight:400 800;font-variation-settings:"opsz" 12;src:url("/assets/fernitalic.woff2") format("woff2")}@font-face{font-family:"Warbler Text";font-display:fallback;font-style:normal;src:url("/assets/warbler.woff2") format("woff2")}@font-face{font-family:"Bradley Initials DJR Web";font-display:swap;src:url("/assets/bradleyinitials.woff2") format("woff2")}table{border-collapse:collapse;border:none}table.striped thead>tr:nth-child(even),table.striped tbody>tr:nth-child(odd){background:rgba(0,0,0,.0625)}.figure{margin:.886rem auto}pre{overflow:auto;overflow:auto clip}p code,p kbd,p samp,li>code,li>kbd,li>samp{font-style:normal;white-space:nowrap}p .math{white-space:nowrap}code{color:#880039}.hno{padding-right:1ch}aside,.aside{font-style:italic}ol,ul{padding-left:1.772rem}ol>li,ul>li{padding-left:.443rem}ul{list-style-type:"❧ "}blockquote .attrib{text-align:right}html{margin:0 3%;margin:0 min(3.544rem,max(3%,(100% - 26.58rem)/4))}body{position:relative;margin:1.772rem auto;max-width:42.528rem}@media(min-width: 53.58528rem){body{max-width:34.554rem}}@media(min-width: 44.01648rem){.hno{position:absolute;text-align:right;padding:0;left:-3.544rem;width:2.658rem}}li{margin:.443rem 0}pre{margin:.886rem 0;margin-left:.886rem;margin-left:clamp(0ch,5vw - .886rem,.886rem)}@media(min-width: 53.58528rem){pre{margin-right:-18vw;margin-right:calc(.45*(-100vw + 34.554rem))}}blockquote{margin:.886rem}p,ol,ul{margin:.886rem 0}p code{line-height:normal}html{font-family:"Computer Modern Serif", serif;line-height:1.329;font-optical-sizing:none;font-variation-settings:"opsz" 12;font-size:calc(1.08rem + max(-0.08rem,.2*min(0rem,2.3513920241vw - 1rem) + .12*min(0rem,3.1351893654vh - 1rem)))}@media(max-width: 28rem){html{font-variation-settings:"opsz" 11;font-weight:420}}

.tag{border-radius:3px/.5ex;padding:0 .2ch;}.tag.hilite{color:#fff}.hilite-lisp{background:hsla(18,66%,60%,.2)}.tag-lisp{color:hsl(18,100%,38%)}.tag-lisp.hilite{background:rgb(204,61.2,0)}.hilite-haskell{background:hsla(54,66%,60%,.2)}.tag-haskell{color:hsl(54,100%,38%)}.tag-haskell.hilite{background:rgb(204,183.6,0)}.hilite-math{background:hsla(90,66%,60%,.2)}.tag-math{color:hsl(90,100%,38%)}.tag-math.hilite{background:#6c0}.hilite-pl{background:hsla(126,66%,60%,.2)}.tag-pl{color:hsl(126,100%,38%)}.tag-pl.hilite{background:rgb(0,204,20.4)}.hilite-books{background:hsla(162,66%,60%,.2)}.tag-books{color:hsl(162,100%,38%)}.tag-books.hilite{background:rgb(0,204,142.8)}.hilite-arc{background:hsla(198,66%,60%,.2)}.tag-arc{color:hsl(198,100%,38%)}.tag-arc.hilite{background:rgb(0,142.8,204)}.hilite-logic{background:hsla(234,66%,60%,.2)}.tag-logic{color:hsl(234,100%,38%)}.tag-logic.hilite{background:rgb(0,20.4,204)}.hilite-syntax{background:hsla(270,66%,60%,.2)}.tag-syntax{color:rgb(96.9,0,193.8)}.tag-syntax.hilite{background:#60c}.hilite-objects{background:hsla(306,66%,60%,.2)}.tag-objects{color:hsl(306,100%,38%)}.tag-objects.hilite{background:rgb(204,0,183.6)}.hilite-types{background:hsla(342,66%,60%,.2)}.tag-types{color:hsl(342,100%,38%)}.tag-types.hilite{background:rgb(204,0,61.2)}#diamond{padding:.329rem 0;margin:1.329rem auto}

#menu ul {
    display: flex;
    flex-wrap: wrap;
    justify-content: center;
    list-style: none;
    padding: 0;
}

#menu li {
    margin: 0 1em;
}

a {
    color: hsl(18, 100%, 60%); /* Lighter red-orange/autumn color */
    text-decoration: none; /* Remove underline from all links */
}

a:hover {
    text-decoration: underline; /* Add underline on hover for usability */
}

/* New styles for post list layout */
#posts-list {
    margin-top: 2em; /* Add some space above the list */
}

.post-item {
    margin-bottom: 2em; /* Space between each post item */
    border-bottom: 1px solid #eee; /* Optional: separator between posts */
    padding-bottom: 1em;
}

.post-header {
    display: flex;
    align-items: baseline; /* Align date and title on the same baseline */
    justify-content: center; /* Center the title */
    position: relative; /* For absolute positioning of date */
}

.post-date {
    color: #888; /* Light colored font */
    position: absolute; /* Position date independently */
    left: 0; /* Left align date */
    font-size: 0.9em;
}

.post-title-link {
    font-size: 1.2em;
    font-weight: bold;
    text-decoration: none;
    color: inherit;
    margin: 0 auto;
    display: block; /* Ensure it's a block element for margin: auto to work */
    text-align: center; /* Explicitly center text within the link */
}

.tagline {
    margin: 0;
    font-style: italic;
    color: #666;
    font-size: 0.8em;
    text-align: center; /* Explicitly center the tagline text */
}