/* $Id: javadoc.css,v 1.4 2003/10/06 14:33:24 stefan Exp $ */

/* inherit all from public javadoc */
@import url("../../api/javadoc.css");

/* override margin as we don't show navbar in internal javadoc */
body {margin-left:10px; }

H1, H2, H3, H4 { margin-left:0;}
