/* CSS */
html {
  color: #000;
  background: #fff;
  font-size: 18px;
}
pre {
  font-size: 16;
  font-family: "Courier New";
  line-height: 19px;
}
pre.code {
  color: #000000;
  font-size: 16px;
  font-family: Courier New;
  background: repeating-linear-gradient(
  to bottom,
  #dcffdc,
  #dcffdc 19px,
  #ffffff 19px,
  #ffffff 38px);
  border: 1px dashed #777777;
  padding: 2 0 0 2;
}
pre.asm {
  color: #000000;
  font-size: 16px;
  background: repeating-linear-gradient(
  to bottom,
  #eeeeff,
  #eeeeff 19px,
  #ffffff 19px,
  #ffffff 38px);
  border: 1px dashed #777777;
  padding: 2 0 0 10;
}
pre.basic {
  padding: 5px;
  border: 1px solid #555;
  border-radius: 5px;
  box-shadow: 0px 2px 2px 0px rgba(0,0,0,.7);
}
pre.sintaxe {
  color: #000000;
  background-color: #eeeeee;
}
pre.board {
  border: 1px dashed #aaaaaa;
  padding: 3px;
}
a.nav {
  text-decoration: none;
  color: #000000;
  background-color: #EEEEEE;
  border: 1px solid #DDDDDD;
  padding: 5;
}
a.nav:hover {
  color: #888888;
  background-color: #FEFEFE;
  border: 1px solid #EDEDED;
}
img.asm {
  margin: 20 0 20 12;
  display: block;
  padding: 3px;
  border: 1px solid #aaaaaa;
}
table.doc {
  border-spacing: 3px;
}
table.doc th {
  border: 1px solid #CCCCCC;
  padding: 4px;
  color: #000000;
  background-color: #DDDDDD;
}
table.doc td {
  border: 1px solid #DDDDDD;
  padding: 4px;
  color: #000000;
  background-color: #EEEEEE;
  padding-left: 8px;
  text-align: center;
}
hl {
  background: #ffaaaa;
}
path {
  display: block;
  margin: 0 0 25 15;
  font-family: Arial;
  font-size: 16px;
  font-style: italic;
}