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

a.command-link  {
    color:black;
    text-decoration:none;
}

a.command-link  img {
    visibility: hidden;
    font-size: 0px;
}