body {
  font-family: 'Lucida Grande', 'Trebuchet MS';
  font-size: 77%;
  margin: 0;
  padding-bottom: 15px;
  background-color: rgb(204, 216, 225);
  text-align: center;
  background-image: url('images/body-background-nothome.png');
  background-repeat: repeat-x;
}

a {
  text-decoration: none;
  color: rgb(110, 128, 141);
}

h1 {
  color: rgb(79, 89, 97);
}

#home {
  background-image: url('images/body-background.png');
}

#container {
  margin: 0 auto;
  width: 900px;
  text-align: left;
}

#header {
  height: 103px;
}

#infobar {
  position: relative;
  height: 47px;
  color: white;
  padding: 0px;
  margin: 0;
  top: -6px;
}

#home #infobar {
  height: 170px;
  padding-top: 10px;
  top: -3px;
}

#infobar h1 {
  font-size: 190%;
  font-weight: normal;
  color: white;
}

#infobar h2 {
  font-size: 120%;
  color: white;
}

#rightbar {
  clear: both;
  float: right;
  width: 195px;
  margin-bottom: 20px;
}

#rightbar h3 {
  margin-bottom: 8px;
}

#rightbar ul {
  margin-top: 0;
  padding-left: 0px;
  margin-left: 18px;
}

#rightbar li {
  margin-bottom: 3px;
}

#contents {
  margin-right: 260px;
  margin-left: 0px;
}

#home #contents {
  padding-top: 20px;
}

#footer {
  clear: both;
  border-top: 1px solid rgb(189,200,209);
  color: rgb(172,184,193);
  font-size: 80%;
  margin-top: 20px;
  padding-top: 10px;
}

#logo {
  float: left;
  position: relative;
  background-image: url('images/logo.png');
  background-repeat: none;
  width: 228px;
  height: 72px;
  margin-top: 15px;
}

#navigation {
  float: right;
  margin-top: 30px;
}

#navigation li {
  display: inline;
  background-color: rgb(193,205,214);
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  padding: 7px 15px;
}

#navigation li.active {
  background-color: rgb(79, 89, 97);
}

#navigation li a {
  text-decoration: none;
  color: rgb(79,89,97);
  font-weight: bold;
}

#navigation li.active a {
  color: white;
}

#bigphone {
  float: right;
  position: relative;
  background-image: url('images/bigphone.png');
  background-repeat: none;
  width: 241px;
  height: 450px;
  right: -22px;
  top: -40px;
}

.newsbox {
  background-color: rgb(193,205,214);
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  color: #4c565d;
  -width: 100%;
  padding: 10px;
  padding-top: 0px;
  margin-bottom: 15px;
}

.newsbox h2 {
  margin-bottom: 5px;
  padding-top: 10px;
  margin-left: 15px;
}

.news {
  padding: 5px;
  margin-left: 10px;
}

.news a {
  font-weight: bold;
  border-bottom: 1px dotted #4c565d;
}

.body-bar {
  background-color: rgb(193,205,214);
  -moz-border-radius: 5px;
  -webkit-border-radius: 5px;
  -width: 100%;
  height: 130px;
  padding: 15px;
  margin-bottom: 15px;
}

.body-bar h1 {
  color: rgb(79,89,97);
  font-size: 130%;
  margin: 0;
  padding: 0;
}

.body-bar p {
  margin: 10px 0;
  padding: 0;
}

.body-bar .screenshot {
  float: left;
  clear: none;
  padding-right: 20px;
}

.content-navigation {
  border-top: 2px solid rgb(79, 89, 97);
  background-color: rgb(193, 205, 214);
  padding: 20px;
  padding-top: 10px;
  padding-bottom: 0;
  height: 27px;
  position: relative;
}

.content-navigation .previous {
  float: left;
}

.content-navigation .up {
  position: absolute;
  float: left;
  left: 250px;
}

.content-navigation .next {
  float: right;
}

.article-links li {
    padding: 5px; 0;
    list-style: none;
    font-size: 120%;
    font-weight: bold;
}

#contents .figure {
    border: 1px solid #999;
}

pre, code {
    font-family: Menlo, 'Courier New';
    background: rgb(193, 205, 214);
}

pre {
    padding: 10px;
    padding-left: 20px;
}
