div.navigation {
  width: 200px;
  border-style: outset;
  border-width: 2px;
  background-color: rgb(255, 255, 153);
  font-family: arial, sans-serif;
}

div.navigation h1 {
  margin-top: 2px;
  font-size: 16px;
  font-weight: bold;
  padding-left: 10px;
  margin-bottom: 2px;
}

div.navigation ul {
  margin-top: 2px;
  padding-left: 0px;
  width: 100%;
}

div.navigation li {
  list-style-type: none;
  margin-bottom: 2px;
  padding-left: 10px;
  border-width: 1px;
}

div.navigation li:hover {
  border-style: outset;
}

div.navigation li.selected {
  border-style: inset;
  background-color: rgb(210, 210, 130);
}

div.navigation a {
  text-decoration: none;
}

div.content {
  position: absolute;
  left: 220px;
  max-width: 780px;
  background-color: white;
  font-family: arial, sans-serif;
}

div.content h1 {
  margin-top: 2px;
  font-size: 18px;
  padding-top: 2px;
  padding-bottom: 2px;
  padding-left: 10px;
  margin-right: 10px;
  background-color: rgb(255, 255, 153);
}

div.content p {
  margin-left: 10px;
  margin-right: 10px;
  text-align: justify;
}

div.content pre {
  margin-left: 10px;
}

div.logo {
  width: 200px;
  font-size: 16px;
  font-weight: bold;
  font-family: monospace;
  border-style: outset;
  border-width: 2px;
  background-color: rgb(255, 255, 255);
}

table.variables {
  margin-left: 10px;
  margin-right: 10px;	
	width: 100%;
	border: solid 1px;
	border-collapse: collapse;	
}

table.variables td {
	border: solid 1px;
	padding: 5px;
}

td.name {
	text-align: center;
	width: 70px;
  font-weight: bold;
  font-family: monospace;  
}

table.operators {
  margin-left: 10px;
  margin-right: 10px;	
	width: 100%;
	border: solid 1px;
	border-collapse: collapse;	
}

table.operators td {
	border: solid 1px;
	padding: 5px;
}

td.token {
	text-align: center;
	width: 30px;
  font-weight: bold;
  font-family: monospace;
}

td.example {
	text-align: center;	
	width: 70px;
  font-family: monospace;
}

table.builtin {
  margin-left: 10px;
  margin-right: 10px;	
	width: 100%;
	border: solid 1px;
	border-collapse: collapse;
}

table.builtin td {
	border: solid 1px;
	width: 100%;
	padding: 5px;
	text-align: left;	
}