input[type="button"].inline {
    margin-bottom: 0px;
    padding: 4px 10px;
    vertical-align: text-bottom;
}
.post-body {
    font-family: Verdana, Geneva, sans-serif;
}
.post-body * code {
    font-family: Consolas,monospace;
    background: black;
    color: #3f3;
    padding-left: 3px;
    padding-right: 3px;
    border-radius: 4px;
}
.post-body pre {
    background: black;
    margin: 0 0 1em 0;
    padding: 0.5em;
    overflow-x: auto;
    border-radius: 4px;
}
.post-body * img {
    max-width: 100%;
}
.user-supplied-text * a {
    color: #11a;
}
.flash-box {
    background-color: #faafb4;
    -webkit-border-radius: 5px;
    -moz-border-radius: 5px;
    border-radius: 5px;
    padding: 0 4px;
    text-align: center;
    margin-bottom: 0.5em;
    position: relative;
}
.flash-box p {
    margin: 0 1.5em 0 0;
    padding: 4px;
    font-weight: bold;
}
svg {
    cursor: pointer;
    height: 24px;
    width: 24px;
    position: absolute;
    top: 1px;
    right: 2px;
}
svg > circle {
    stroke: black;
    fill: white;
    fill-opacity: 0;
}
svg > path {
    stroke: black;
}
svg:hover > circle {
    fill-opacity: 0.5;
}
svg:hover > path {
    fill-opacity: 0.8;
}