#page 
{
  margin: 1em auto; 
  font-family: sans-serif;
  font-size: 1.07em;
  width: 45em;
}

#head 
{
  height: 92px;
}

#page h1 
{
  float: left; 
  padding-left: 200px; 
  position: absolute; 
  margin-top: 0.2em; 
  color: #5772d1; 
  font-style: oblique;
  line-height: 1em;
  letter-spacing: 2px;
}

img#logo {margin-left: 35px;}

#menu 
{
  height: 1.5em; 
  background-color: #eee; 
  
  border-bottom: 1px solid gray; 
  border-top: 1px solid gray;
  
}

ul#mainlevel-nav 
{
  list-style: none; 
  padding: 0; 
  margin: 0;
}

ul#mainlevel-nav li 
{
  display: block;
  background-image: none;
  padding-left: 0px;
  padding-right: 0px;
  float: right;
  margin: 0;
  width: auto !important;
  width: 15%;
  font-size: 1em;
  line-height: 1.5em;
  white-space: nowrap;
  border-left: 1px solid #cccccc;
}

ul#mainlevel-nav li a
{
  display: block;
  padding-left: 15px;
  padding-right: 15px;
  text-decoration: none;
  color: #637070;
  background: transparent;
}

ul#mainlevel-nav li a:hover
{
  color: #FFFFFF;
  background: #637070;
}

#context 
{
  padding-left: 200px; 
  padding-right: 1em;
}

#context-nav 
{
  float: left;
  border-top: #ddd 1px solid;
  border-bottom: #ddd 1px solid;
  background-color: #eee;
  margin: 1px 0;
}

#context-nav ul
{
  width: 160px;
  padding-left: 0px;
  cursor: pointer;
  list-style-type: none;
  margin-top: 0.5em;
}

#context-nav li
{
  margin: 0px 14px 4px 10px;
  position: relative;
  color: #fff;
  padding: 3px 0px;
  border-bottom: 1px solid #ddd;
}

#context-nav li:hover
{
  background-color: #efefef;
}

#context-nav li a
{
  text-decoration: none;
  font-variant: small-caps;
  font-weight: bold;
  text-transform: capitalize;
  color: #637070;
  width: auto !important;
}

#context-nav li:hover a
{
  color: #bf522b;
}

.aaa 
{
  padding: 3px 15px;
  text-align: right;
  color: white;
  background-color: gray;
  font-variant: small-caps;
  text-transform: capitalize;
  font-weight: bold;
  letter-spacing: 1px;
  font-family: sans-serif;
}

h2 
{
  color: #11a;
}

.lemma 
{
  border: blue 2px dotted; 
  padding: 1em; 
  background: #eee; 
  margin: 2em 1em;
}

.indent 
{
  margin-left: 2em;
}

.card
{
  margin: .5em;
  padding: .5em;
  border-bottom: silver 1px solid;
}

#footer
{
  background-color: #eee;
  /* border-bottom: 1px solid gray; */
  border-top: 1px solid gray;
  padding: 0.5em;
  font-size: 0.8em;
}

table {background: gray;}
th {background: silver; padding: 4px;}
td {background: white; padding: 3px;}
td.yellow {background: yellow;}
