<% // NOTE: DO NOT ADD WHITESPACE LINES TO THIS SCRIPTLET if ( (String) request.getAttribute("sakai.html.head") != null) { // get the HTML fragment for the header from the Sakai portal, // and then add Samigo's own tool-specific CSS file to it. String head = (String) request.getAttribute("sakai.html.head"); head += "\n"; request.setAttribute("html.head", head); request.setAttribute("html.body.onload", request.getAttribute("sakai.html.body.onload")); request.setAttribute("html.head.sakai", request.getAttribute("sakai.html.head")); } else { // supply the standalone versions tool styles request.setAttribute("html.head", "\n" + "\n" + "\n"); request.setAttribute("html.body.onload", ""); } %>