body{
  font-family:sans-serif;
}
code{
  font:bold 2em lucida console,dejavu sans mono,monospace;
  text-transform:lowercase;
}
.def{color:#c00;}
.com{color:#0b0;}
.txt{color:#fff;}
.n{text-decoration:none;}
.nv{
  background-color:black;
  white-space:nowrap;
}
u{visibility:hidden;}