@@ -20,7 +20,7 @@ CDDL HEADER END
2020
2121Copyright (c) 2007, 2019, Oracle and/or its affiliates. All rights reserved.
2222Portions Copyright 2011 Jens Elkner.
23- Portions Copyright (c) 2017-2018, Chris Fraire <
[email protected] >.
23+ Portions Copyright (c) 2017-2018,
2020, Chris Fraire <
[email protected] >.
2424Portions Copyright (c) 2020, Aleksandr Kirillov <
[email protected] >.
2525
2626--%><%--
@@ -33,19 +33,21 @@ to set the title of the document before the include directive for this fragment:
3333 cfg.setTitle("your title");
3434
3535</pre>
36- --%><%@page import="org.opengrok.indexer.web.Scripts"%>
37- <%@page import="org.opengrok.indexer.web.Prefix"%>
36+ --%>
3837<%@page contentType="text/html; charset=UTF-8" pageEncoding="UTF-8" import="
3938org.opengrok.indexer.Info,
40- org.opengrok.indexer.web.PageConfig"
39+ org.opengrok.indexer.web.PageConfig,
40+ org.opengrok.indexer.web.Prefix,
41+ org.opengrok.indexer.web.Scripts"
4142%><%
4243/* ---------------------- httpheader.jsp start --------------------- */
4344{
4445 PageConfig cfg = PageConfig.get(request);
4546 String styleDir = cfg.getCssDir();
4647 String ctxPath = request.getContextPath();
47- String dstyle = styleDir + '/' + "style.min.css";
48- String pstyle = styleDir + '/' + "print.min.css";
48+ String dstyle = styleDir + '/' + "style-1.0.0.min.css";
49+ String pstyle = styleDir + '/' + "print-1.0.0.min.css";
50+ String mstyle = styleDir + '/' + "mandoc-1.0.0.min.css";
4951%><!DOCTYPE html>
5052<html lang="en"
5153 class="<%= request.getServletPath().length() > 0 ? request.getServletPath().substring(1) : "" %>">
@@ -59,8 +61,8 @@ org.opengrok.indexer.web.PageConfig"
5961 title="Default" href="<%= dstyle %>" />
6062<link rel="alternate stylesheet" type="text/css" media="all"
6163 title="Paper White" href="<%= pstyle %>" />
62- <link rel="stylesheet" type="text/css" href="<%=styleDir%>/mandoc.min.css " media="all" />
63- <link rel="stylesheet" type="text/css" href="<%=styleDir%>/print.min.css " media="print" />
64+ <link rel="stylesheet" type="text/css" href="<%= mstyle %> " media="all" />
65+ <link rel="stylesheet" type="text/css" href="<%= pstyle %> " media="print" />
6466<link rel="stylesheet" type="text/css" href="<%=styleDir%>/jquery-ui-1.12.1-custom.min.css" />
6567<link rel="stylesheet" type="text/css" href="<%=styleDir%>/jquery-ui-1.12.1-custom.structure.min.css" />
6668<link rel="stylesheet" type="text/css" href="<%=styleDir%>/jquery-ui-1.12.1-custom.theme.min.css" />
0 commit comments