@import url("documentation.css");
@import url("docnav.css");
@import url("reports.css");
@import url("extensions.css");
@import url("codehighlight.css");

/* Links */

div.longdesc-link {
    float:right;
    color:#999;
}
