@import "../PRODUCT_PLUGIN/book.css";

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;
}

span.token {
	color: green
}