body {font: 16px/1.55 Georgia, 'Times New Roman', serif; max-width: 740px; margin: 0 auto; padding: 2em 1em; color: #222; background: #fafaf6;}
header {border-bottom: 1px solid #ccc; padding-bottom: 1em; margin-bottom: 2em;}
.brand h1 {margin: 0; font-size: 2.2em; letter-spacing: -0.5px;}
.tag {color: #888; font-style: italic; margin: 0.2em 0 0 0;}
nav {margin-top: 1em;}
nav a {color: #356; text-decoration: none; margin-right: 1.2em;}
nav a:hover {text-decoration: underline;}
main h2 {margin-top: 1.5em; font-size: 1.3em;}
.posts {list-style: none; padding: 0;}
.posts li {padding: 0.6em 0; border-bottom: 1px dotted #ccc;}
.posts .date {color: #999; font-size: 0.9em;}
.post h1 {font-size: 1.8em; line-height: 1.2;}
.post .meta {color: #888; font-style: italic;}
.post .fig {background: #eee; padding: 1em; font-family: monospace; text-align: center; color: #666;}
.post .ack {color: #777;}
footer {margin-top: 3em; border-top: 1px solid #ccc; padding-top: 1em; color: #888; font-size: 0.9em;}
code {background: #eee; padding: 2px 4px; border-radius: 3px;}