@import url(malo.css);
body {
  background-color: #dcd8d8;
  line-height: 1.4;
  font-size: 13px;
  font-family: Verdana; }

h1 {
  font-size: 1.8em; }

h2 {
  font-size: 1.4em; }

p {
  margin-bottom: 10px; }

pre {
  background-color: #e4edff;
  padding: 5px;
  font-size: 0.9em;
  overflow: auto; }

table {
  border-collapse: collapse; }

a img {
  border: none;
  display: block; }

#content {
  background-color: white;
  padding: 20px;
  border-top: 3px solid lightgray;
  border-right: 3px solid lightgray;
  margin-bottom: 30px; }

#wrapper {
  width: 760px;
  margin: 0 auto; }

#header a {
  color: gray;
  text-decoration: none; }
#header .title {
  float: left;
  padding: 5px 0 0 20px; }
  #header .title a img {
    height: 29px; }
#header .links {
  float: right;
  font-size: 14px;
  padding: 12px 22px 0 0; }

.center {
  text-align: center; }

.no_mar_top {
  margin-top: 0; }

.no_mar_bot {
  margin-bottom: 0; }

.mar_bot {
  margin-bottom: 20px; }

.mar_hlf_bot {
  margin-bottom: 10px; }

.mar_top {
  margin-top: 20px; }

.mar_hlf_top {
  margin-top: 10px; }

.bor_bot {
  border-bottom: 1px solid gray; }

.bor_top {
  border-top: 1px solid gray; }

.bor_rgt {
  border-right: 1px solid gray; }

.bor_lft {
  border-left: 1px solid gray; }

.no_mar {
  margin: 0; }

h1 a, h2 a, h3 a {
  text-decoration: none; }

#content a:hover {
  background-color: yellow; }
#content a img {
  border: 0; }
#content a:visited {
  color: blue; }

.meta {
  color: gray; }

.gist {
  margin: 20px 0 10px 0; }
  .gist .gist-data {
    font-size: 0.9em; }
  .gist .gist-file pre {
    padding: 8px 9px; }

#disqus_thread {
  margin-top: 40px; }

.gist .gist-file .gist-data {
  background-color: #F8F8FF; }

.highlighted {
  background-color: yellow; }

dl {
  float: left;
  width: 717px;
  margin: 1em 0;
  padding: 0;
  border-bottom: 1px solid;
  border-color: #dddddd; }

dt {
  clear: left;
  float: left;
  width: 200px;
  margin: 0;
  padding: 8px 5px 5px 5px;
  border-top: 1px solid;
  font-weight: bold;
  font-family: monospace;
  margin-top: 0px;
  border-color: #dddddd; }

dd {
  float: left;
  width: 497px;
  margin: 0;
  padding: 5px;
  border-top: 1px solid;
  border-color: #dddddd; }