span.control {
  font-weight: bold;
}

span.name {
  font-style: italic;
}

span.code {
  font-family: monospace;
}

p.nav_footer {
	font-weight: bold;
}

p.nav_footer a {
	font-weight: bold;
	font-style: italic;
}

@import "code.css";