/*
 * about/copyright/page.css -
 */

@import url( "../../styles/codehighlight.css" );

div#toc {
   display: none;
}