/* hide navigation boxes, copyright etc. */
.noprint,
#highlight_index,
#highlight_references,
#highlight_navigation,
#copyright,
#ns4_info {
   display:none;
}

/* hide box border */
.box .content,
.box_top_line,
.box_top_2ndline,
.box_bottom_2ndline,
.box_bottom_line {
   border: none;
}

/* copied from EIT Typography - increased for media print */
/* using pt for print medium - will be more consistant between browsers */

.content pre {
    /* font-size: 100%; */
    font: 9.5pt Arial,helvetica,clean,sans-serif;
    line-height: 11.5pt;
}

.input_element .input,
.content textarea,
.big {
    font: 10.5pt Arial,helvetica,clean,sans-serif;
    line-height: 12.5pt;
}

.content input,
.small {
    font-size: 9pt;
    line-height: 11pt;
}