/* loc_duplicato.css */
/* Joseph Mack jmack@wm7d.net */

body {
        font-size: 10pt;
}

h1,h2,h3 {
        font-size: 12pt;
}


.toc{
	margin-right: 40%;
}

/*http://webdesign.maratz.com/lab/visited_links_styling/ */
/*a:link { text-decoration: none; color: #FFFFFF; } */
ol.booktitle a:link {
        color: #0000FF;
        text-decoration: none;
        }
ol.booktitle a:visited {
        text-decoration: none;
        padding-right: 12px;
        background: url(../images/visitedLink.gif) no-repeat 100% 50%;
        color: #FF0000;
}
ol.booktitle a:visited:hover {
        background-image: url(../images/visitedHoverLink.gif);
        }
ol.booktitle a:hover {
        color: #FF00FF;
        background-color: #FFFFFF;
        /*#font-size: 14pt;       #font-size doesn't do anything for firefox on pip */
        }
ol.booktitle a:active {
	/*
        the color when you click on it, but before the browser hops to the target
	*/
        text-decoration: none;
        color: #00FF00;
        }




#------------------------------