📄 header.jsp
字号:
<%@ page contentType="text/html;charset=ISO8859_1" %>
<%
/**
* $RCSfile: header.jsp,v $
* $Revision: 1.1.1.1 $
* $Date: 2002/09/09 13:50:33 $
*/
%>
<%@ page import="com.jivesoftware.forum.*" %>
<% // Set the global Jive locale in the response
response.setLocale(JiveGlobals.getLocale());
// Store the referrer of this page in the session object. First, check
// what is in the session. If something already exits, don't overwrite it.
String _referrer = (String)session.getAttribute("referrer");
if (_referrer == null) {
_referrer = request.getParameter("referrer");
if (_referrer == null) {
_referrer = request.getHeader("REFERER");
if (_referrer == null) {
_referrer = "";
}
}
session.setAttribute("referrer",_referrer);
}
%>
<html>
<head>
<title><%= title %></title>
<meta http-equiv=Content-Type content=text/html; charset=gb2312>
<style type="text/css">
P, DIV, TD, UL, LI, SPAN, BODY {
font-family : <%= fontFace %>;
}
PRE {
font-size : 9pt;
}
<%= aCSS %>
<%= aHoverCSS %>
A.footer {
color : <%= footerTextColor %>;
}
.header {
color : <%= headerTextColor %>;
font-weight : bold;
}
.subheader {
color : <%= subHeaderTextColor %>;
font-weight : bold;
}
</style>
</head>
<body bgcolor="<%= bgColor %>" marginheight="0" marginwidth="0"
topmargin="0" leftmargin="0" rightmargin="0"
link="<%= linkColor %>" vlink="<%= vLinkColor %>" alink="<%= aLinkColor %>">
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -