@media print {
  body {
    width: 80%;
    margin-left: 10%;
    font-family: serif;
    font-size: 100%;
    text-align: justify;
  }
  i {
    font-style: italic;
  }
}
@media screen {
  body {
    width: 80%;
    line-height: 130%;
    margin-left: 10%;
    font-family: Times New Roman, Times, serif;
  }
}
h1,h2,h3,h4,h5,h6 {
  line-height: 120%;
  margin-bottom: .7ex;
}
body { 
  background-color: white;
  color: black;
}
p:first-child {
  text-indent: 0em;
}
p {
  margin-top: 0ex;
  margin-bottom: 1ex;
  text-indent: 0em;
}
p.centered { 
  text-align: center;
}

/* general link styles */
a { color: #007439; background-color: transparent; cursor: pointer; }
a:visited { background-color: transparent; }
a:active { color: #ff9600; background-color: transparent; }
a:hover { color: #ff9600; text-decoration: none; background-color: transparent; }
a.mark:active { color: #ff9600; background-color: transparent; }
a.mark:hover { color: #ff9600; text-decoration: none; background-color: transparent; }
a.mark:visited { color: #C0C0C0; text-decoration: none; background-color: transparent; }
a.selected { color: #ff9600; text-decoration: none; }

table {
/*  margin-left: 7ex; */
  margin-top: 1ex;
  margin-bottom: 2ex;
  padding: .2em;
  border-collapse: collapse;
}
th { 
  border-bottom: thin solid black;
  text-align: left;
  padding-right: 1em;
}
td { 
  padding-right: 1em;
}
li {
  width: 90%;
  margin-bottom: .3ex;
}
code {
  font-family: Terminal, Courier, monospace;
}
pre {
  font-family: Terminal, Courier, monospace;
  margin-left: 5%;
  margin-bottom: 0ex;
}
span.strike { 
  text-decoration: line-through;
}
span.new { 
  background-color: rgb(255,192,192);
}
span.url {
  font-family: Terminal, Courier, monospace;
}
h2, h3, h4 { 
  background-color: rgb(220,255,220);
}
.example { 
  color: rgb(50,50,50);
  background-color: rgb(179,204,229);
}
span.review {
 color: rgb(64,192,0);
 background-color: rgb(255,255,255);
}

table.top-headline { 
  padding: 0;
  border-spacing: 4px;
  border: 0;
  width: 100%;
}
table.block { 
  padding: 0px;
  border-collapse: separate;
  border-spacing: 10px;
  border: 1px solid rgb(200,200,255);
  width: 100%;
}
table.block td { 
  vertical-align: top;
}
em.definition { 
  font-style: italic;
  color: rgb(0,0,0);
  background-color: rgb(255,255,100);
}
em.important { 
  font-style: normal;
  color: rgb(0,0,0);
  background-color: rgb(255,255,100);
}
td.threecolumns { 
 width: 30%;
}

td.threecolumns-small { 
 width: 25%;
}

td.threecolumns-right { 
 width: 30%;
 text-align: right;
}
td.twocolumns { 
 width: 50%;
}