body {
    margin: 0;
    margin-bottom: 25px;
    padding: 0;
    background-color: #f0f0f0;
    font-family: "Lucida Grande", "Bitstream Vera Sans", "Verdana";
    font-size: 13px;
    color: #333;
  }
  
  h1 {
    font-size: 28px;
    color: #000;
  }
  
  a  {color: #03c}
  a:hover {
    background-color: #03c;
    color: white;
    text-decoration: none;
  }
  
  
  #page {
    background-color: #f0f0f0;
    width: 750px;
    margin: 0;
    margin-left: auto;
    margin-right: auto;
  }
  
  #content {
    float: left;
    background-color: white;
    border: 3px solid #aaa;
    border-top: none;
    padding: 25px;
    width: 500px;
  }
  
  #sidebar {
    float: right;
    width: 175px;
  }

  #footer {
    clear: both;
  }
  
  #header, #about, #getting-started {
    padding-left: 75px;
    padding-right: 30px;
  }

  #header {
    background-repeat: no-repeat;
    background-position: top left;
    height: 64px;
  }
  #header h1, #header h2 {margin: 0}
  #header h2 {
    color: #888;
    font-weight: normal;
    font-size: 16px;
  }
  
  #about h3 {
    margin: 0;
    margin-bottom: 10px;
    font-size: 14px;
  }
  
  #about-content {
    background-color: #ffd;
    border: 1px solid #fc0;
    margin-left: -11px;
  }
  #about-content table {
    margin-top: 10px;
    margin-bottom: 10px;
    font-size: 11px;
    border-collapse: collapse;
  }
  #about-content td {
    padding: 10px;
    padding-top: 3px;
    padding-bottom: 3px;
  }
  #about-content td.name  {color: #555}
  #about-content td.value {color: #000}
  
  #about-content.failure {
    background-color: #fcc;
    border: 1px solid #f00;
  }
  #about-content.failure p {
    margin: 0;
    padding: 10px;
  }
  
  
  #getting-started {
    border-top: 1px solid #ccc;
    margin-top: 25px;
    padding-top: 15px;
  }
  #getting-started h1 {
    margin: 0;
    font-size: 20px;
  }
  #getting-started h2 {
    margin: 0;
    font-size: 14px;
    font-weight: normal;
    color: #333;
    margin-bottom: 25px;
  }
  #getting-started ol {
    margin-left: 0;
    padding-left: 0;
  }
  #getting-started li {
    font-size: 18px;
    color: #888;
    margin-bottom: 25px;
  }
  #getting-started li h2 {
    margin: 0;
    font-weight: normal;
    font-size: 18px;
    color: #333;
  }
  #getting-started li p {
    color: #555;
    font-size: 13px;
  }
  
  
  #search {
    margin: 0;
    padding-top: 10px;
    padding-bottom: 10px;
    font-size: 11px;
  }
  #search input {
    font-size: 11px;
    margin: 2px;
  }
  #search-text {width: 170px}
  
  .biglink {
    font-size: 84px;
    line-height: 120px;
    color: #000;
    margin-left: auto;
    margin-right: auto;
  }
  
  #sidebar ul {
    margin-left: 0;
    padding-left: 0;
  }
  #sidebar ul h3 {
    margin-top: 25px;
    font-size: 16px;
    padding-bottom: 10px;
    border-bottom: 1px solid #ccc;
  }
  #sidebar li {
    list-style-type: none;
  }
  #sidebar ul.links li {
    margin-bottom: 5px;
  }
  


.wide-table {
  margin: 0;
  padding: 0;
  width: 100%;
}

.wide-table th {
  border-bottom: 4px solid #ccc;
  text-align: left;
}

.wide-table td {
  padding: 8px 10px;
  border-bottom: 1px dotted #ccc;
}

.wide-table a {
  padding: 2px 0;
  text-decoration: none;
  border: none;
}

.wide-table .score {
  font-size: 80%;
  font-style: italic;
}

.btns {
  padding: 10px !important;
  margin: 20px 0;
  background: #dee;
  border-top: 1px solid #99D3D5;
}

.hint { 
  color: #555; 
  font-size: 90%;
}