body {
  padding: 0px;
  margin: 0px;
  background: #EEE;
  font-size: small;
}

#column-contents {
  float:right;
  margin-left: -155px;
  width: 100%;
  margin-bottom: 30px;
}

#head, #contents {
  margin-left: 155px;
  padding-left: 12px;
  padding-right: 12px;
  border-left: #AAA 1px solid;
  background: white;
}

#head {
  margin-top: 25px;
  border-top: #AAA 1px solid;
}

#head h1 {
  margin: 0px;
  padding-top: 10px;
  font-family: 'Tangerine', serif;
  font-size: 48px;
  text-shadow: 4px 4px 4px #aaa;
}

h1, h2, h3, h4, h5, h6 {
  border-bottom: 1px solid #AAA;
  font-weight: normal;
  font-size: 160%;
}

h3, h4, h5, h6 {
  border-bottom: 0px none;
}

#head_menu {
  position:absolute;
  top: 0px;
  height: 35px;
  overflow: hidden;
}

#head_menu A {
  display: inline-block;
  background: white;
  border-top: 1px solid #AAA;
  border-left: 1px solid #AAA;
  border-right: 1px solid #AAA;
  border-bottom: 0px solid #AAA;
  margin-bottom: 0px;
  padding: 0px 13px 0px 13px;
  margin-top: 9px;
  height: 15px;
  font-size: 95%;
  text-decoration: none;
  z-order: -1;
}

#head_hr, #side_hr {
  display: none;
}

#contents {
  margin-top: 0px;
  padding-top: 20px;
  padding-bottom: 20px;
  border-bottom: #AAA 1px solid;
  font-size: medium;
}

#column-side {
  width: 145px;
  margin-bottom: 30px;
}

#side_menu h1,
#side_menu h2,
#side_menu h3,
#side_menu h4,
#side_menu h5,
#side_menu h6 {
  font-size: 100%;
  margin: 0px;
  padding: 0px 5px 0px 11px;
  border: 0px none;
}

#side_menu {
  font-size: 95%;
  padding-top: 25px;
}

#side_menu ul {
  margin: 0px;
  background: white;
  border: 1px solid #AAA;
}

#side_menu li {
  margin: 0;
  padding: 0;
}

#side_menu a {
  text-decoration: none;
}

#footer {
  background-color: white;
  border-top: 1px solid khaki;
  border-bottom: 1px solid khaki;
  text-align: center;
  padding: 5px;
  margin: 10px 0px;
  clear: both;
}

ul {
  margin: 5px 0 0 10px;
  padding: 0px;
  padding-left: 20px;
  line-height: 130%;
  list-style-type: square;
}

li {
  margin-bottom: 5px;
}

.alert {
  border: 1px solid red;
  padding: 10px;
}

.outlink {
  padding-right: 10px;
}

.outlink:hover {
  background-image: url("out.png");
  background-repeat: no-repeat;
  background-position: bottom right;
}

#contents pre {
  width: 100%;
  overflow-x: auto;
  border: 2px solid #AAA;
  padding: 10px;
  background: #F9F9F9;
}

/* TODO: table link */