body {
margin-left: 32px;
margin-right: 48px;
font-family: Verdana, sans-serif;
font-size: 13px
}
p, ul, pre { max-width: 40em }
#container {
padding-left: 16px;
border-left: 1px solid #000;
border-bottom: 1px solid #000
}
a:link, a:visited {
color: #00e;
text-decoration: underline
}
a:hover {
background: #00e;
color: #fff;
text-decoration: none
}
a img {
margin-bottom: -4px;
border: 1px solid #00e
}
a:hover img { background: white }
h2 {
max-width: 40em;
margin-top: 24px;
margin-left: -21px;
padding: 4px;
background: #b21818;
font-family: monospace;
font-size: 16px;
}
h2 a, h2 span {
padding: 0 8px;
border: 1px solid #ff5454;
background: transparent !important;
color: #ffff54 !important
}
h3 a:hover { background: white; color: black }
hr { display: none }
td, th { padding: .2em .5em .2em 0 }
.screenshot { max-width: 100%; height: auto }
#screens p { max-width: 100% }
#screens img { max-width: 40%; height: auto; margin-bottom: .75em; vertical-align: top }
#screens a:hover { background: transparent }
#bottom {
margin-top: 24px;
padding-left: 17px
}
#bottom img { border: 0 }

pre.tetris { overflow: hidden; background: #000; color: #00e }
pre.tetris b { color: #5c5cff }
pre.tetris .yellow { background: #cdcd00; color: #ff0 }
pre.tetris .blue { background: #00e }
pre.tetris .magenta-fg { color: #f0f }
pre.tetris .label { color: #ff0 }
pre.tetris .white-fg { color: #fff }
pre.tetris .red-fg { color: #ff5454 }
pre.tetris .white { background: #d3d3d3; color: #fff }
pre.tetris .red { background: #cd0000; color: #ff5454 }
pre.tetris .green { background: #00cd00; color: #54ff54 }
pre.tetris .magenta { background: #cd00cd; color: #ff54ff }
pre.tetris .cyan { background: #00cdcd; color: #54ffff }

del { text-decoration: line-through }
ins { text-decoration: none }