body { font-family: sans-serif; color: rgb(0,0,0); background-color: rgb(230,230,255); font-size: 10pt; min-width: 720px; width: 95%; margin-left: auto; margin-right: auto; } .post { position: center; color: rgb(0,0,0); margin-top: 1em; margin-bottom: 1em; border-style: solid; border-width: 1px; border-color: rgb(0,0,0); } .post .head { border-bottom-style: solid; border-width: 1px; padding: 1px; } .post .head h2 { padding: 0.1em; } .post .title { font-weight: bold; } .post .title a { text-decoration: none; } .post .date { font-weight: bold; color: rgb(230,230,255); background-color: rgb(0,0,0); float: right; padding-right: 0.5em; padding-left: 0.5em } .post .tag { /* display: none;*/ text-align: right; color: rgb(230,230,255); } .post .tag span { background-color: rgb(0,0,0); padding: 0.1em 0.2em; font-weight: bold; color: rgb(230,230,255); } .post .tag a { color: rgb(230,230,255); } .post .body { padding: 0.5em; } .post .body p { margin: 1em; } .post .body code { /* background-color: rgb(115,115,127);*/ /* color: rgb(230,230,255);*/ } .post .body pre { background-color: rgb(115,115,127); color: rgb(230,230,255); margin: 1em; padding: 0.5em; overflow-x: auto; } .post .body h3 { margin: 1em; } .post .foot { border-top-style: solid; border-width: 1px; margin: 0em; padding: 0em; } #head { font-family: serif; background-color: rgb(0,0,0); color: rgb(230,230,255); opacity: 0.5; padding: 1px; font-size: 40pt; height: 0.9em; text-shadow: 0.0em 0.0em 0.2em rgb(230,230,255); } #menu { font-weight: bold; color: rgb(230,230,255); background-color: rgb(0,0,0); padding: 0.1em 0.2em; } #menu a { color: rgb(230,230,255); } #menu a.email { float: right; } #menu span.email-pipe { visibility: hidden; } #footmenu { font-weight: bold; float: right; color: rgb(230,230,255); background-color: rgb(0,0,0); padding: 0.1em 0.2em; } #footmenu a { color: rgb(230,230,255); text-decoration: none; } #paginate-nav { font-weight: bold; color: rgb(230,230,255); background-color: rgb(0,0,0); padding: 0.1em 0.2em; } #paginate-nav a { color: rgb(230,230,255); text-decoration: none; } h1 { display: inline; font-weight: normal; font-size: 40pt; } h2 { font-size: 10pt; display: inline; } h3 { margin: 0em; font-size: 10pt; display: inline; } a { color: rgb(0,0,0); } hr { display: none; } dl { /* padding: 0.5em;*/ } dt { float: left; /* clear: left;*/ width: 6em; text-align: right; font-weight: bold; } dt:after { content: ":"; } dd { margin: 0 0 0 7em; padding: 0 0 0.5em 0; }