diff options
Diffstat (limited to 'plugins/javadoc/src/main/resources/views/components')
3 files changed, 2 insertions, 31 deletions
diff --git a/plugins/javadoc/src/main/resources/views/components/head.korte b/plugins/javadoc/src/main/resources/views/components/head.korte index fff6a0c8..6db0b31e 100644 --- a/plugins/javadoc/src/main/resources/views/components/head.korte +++ b/plugins/javadoc/src/main/resources/views/components/head.korte @@ -1,5 +1,5 @@ <head> - <title>{{ title }}</title> + <title>{{ title }} {% if version != null %}{{ version }} API {% endif %}</title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <meta name="dc.created" content="2020-03-25"> <link rel="stylesheet" type="text/css" href="{{ pathToRoot }}stylesheet.css" title="Style"> diff --git a/plugins/javadoc/src/main/resources/views/components/indexPage.korte b/plugins/javadoc/src/main/resources/views/components/indexPage.korte index f57d4ddf..84679fad 100644 --- a/plugins/javadoc/src/main/resources/views/components/indexPage.korte +++ b/plugins/javadoc/src/main/resources/views/components/indexPage.korte @@ -1,6 +1,6 @@ <main role="main"> <div class="header"> - <h1 {{ h1Title(kind)|raw }}class="title">{{ title }}</h1> + <h1 {{ h1Title(kind)|raw }}class="title">{{ title }} {% if version != null %}{{ version }} API {% endif %}</h1> </div> <div class="header"> <div class="subtitle"> diff --git a/plugins/javadoc/src/main/resources/views/components/pageStart.korte b/plugins/javadoc/src/main/resources/views/components/pageStart.korte deleted file mode 100644 index 92be7495..00000000 --- a/plugins/javadoc/src/main/resources/views/components/pageStart.korte +++ /dev/null @@ -1,29 +0,0 @@ -<!DOCTYPE HTML> -<!-- NewPage --> -<html lang="en"> -<head> -<title>$documentTitle ({{ title }} {{ version }} API)</title> -<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> -<meta name="dc.created" content="{{ curDate() }}"> -<link rel="stylesheet" type="text/css" href="{{ pathToRoot }}stylesheet.css" title="Style"> -<link rel="stylesheet" type="text/css" href="{{ pathToRoot }}jquery/jquery-ui.css" title="Style"> -<script type="text/javascript" src="{{ pathToRoot }}script.js"></script> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jszip/dist/jszip.min.js"></script> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jszip-utils/dist/jszip-utils.min.js"></script> -<!--[if IE]> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script> -<![endif]--> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jquery-{{ jQueryVersion() }}.js"></script> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jquery-migrate-{{ jQueryMigrateVersion() }}.js"></script> -<script type="text/javascript" src="{{ pathToRoot }}jquery/jquery-ui.js"></script> -</head> -<body> -<script type="text/javascript"> -var pathtoroot = "{{ pathToRoot }}"; -</script> -<noscript> -<div>JavaScript is disabled on your browser.</div> -</noscript> -<header role="banner"> -<nav role="navigation"> -<div class="fixedNav">
\ No newline at end of file |