// XXX better to take this fact into layout management.
// XXX is also useful in boxes, etc.
Measure border = getBorderBottom(facesContext, page);
style.setHeight(page.getCurrentHeight().subtract(border));
style.setTop(border);
writer.writeStyleAttribute(style);
}
private void writeStyle(FacesContext facesContext, TobagoResponseWriter writer, String styleFile)
throws IOException {
List<String> styles = ResourceManagerUtils.getStyles(facesContext, styleFile);