<% /* * This should be included inside ..., * as it sets the stylesheet. * * This is included almost 30 times, so keep whitespace etc. to a minimum. */ // http://www.crazysquirrel.com/computing/general/form-encoding.jspx if (request.getCharacterEncoding() == null) request.setCharacterEncoding("UTF-8"); response.setHeader("Pragma", "no-cache"); response.setHeader("Cache-Control","no-cache"); response.setDateHeader("Expires", 0); // the above will b0rk if the servlet engine has already flushed // the response prior to including this file, so it should be // near the top if (request.getParameter("i2p.contextId") != null) { session.setAttribute("i2p.contextId", request.getParameter("i2p.contextId")); } %> " /> <% intl.setLang(request.getParameter("lang")); %> console.css" rel="stylesheet" type="text/css"> <% // make the fonts bigger for chinese if (intl.getLang().equals("zh")) { %> console_big.css" rel="stylesheet" type="text/css"> <% } %>