.table {
  background: #f0f0f0;
  border: solid;
  border-width: 1px;
  border-color: #000000;
  padding: 0px;
}

.syntax {
  background: #f0f0f0;
  border: solid;
  border-width: 1px;
  border-color: #000000;
  padding: 4px;
}

.header {
  background: #A4E2FF;
  border: solid;
  border-width: 1px;
  border-color: #000000;
  width: 100%;
  padding: 2px;
}
 
hr {
  border: solid;
  border-width: 1px;
  border-color: #A4E2FF;
}

a {
  padding-left: 4px;
  padding-right: 4px;
}

a:hover {
  background: #A4E2FF;
  text-decoration: none;
  border: 1px solid #4080D0;
  padding-left: 3px;
  padding-right: 3px;
}

.header a:hover {
  background: white;
  text-decoration: none;
  border: 1px solid #4080D0;
  padding-left: 3px;
  padding-right: 3px;
}

pre { 
  background-color: #f0f0f0; 
  padding: 5px; 
  border: solid 1px;
 }

