src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/IndexRedirectWriter.java
changeset 54002 fb9541185457
parent 53863 d001808c57e8
child 54060 53a95878619f
equal deleted inserted replaced
54001:b4e59fc5edd1 54002:fb9541185457
   105         bodyContent.addContent(HtmlTree.NOSCRIPT(
   105         bodyContent.addContent(HtmlTree.NOSCRIPT(
   106                 HtmlTree.P(contents.getContent("doclet.No_Script_Message"))));
   106                 HtmlTree.P(contents.getContent("doclet.No_Script_Message"))));
   107 
   107 
   108         bodyContent.addContent(HtmlTree.P(HtmlTree.A(targetPath, new StringContent(targetPath))));
   108         bodyContent.addContent(HtmlTree.P(HtmlTree.A(targetPath, new StringContent(targetPath))));
   109 
   109 
   110         Content body = new HtmlTree(HtmlTag.BODY);
   110         Content body = new HtmlTree(HtmlTag.BODY)
       
   111                 .addAttr(HtmlAttr.CLASS, "index-redirect");
   111         HtmlTree main = HtmlTree.MAIN(bodyContent);
   112         HtmlTree main = HtmlTree.MAIN(bodyContent);
   112         body.addContent(main);
   113         body.addContent(main);
   113 
   114 
   114         Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), head.toContent(), body);
   115         Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), head.toContent(), body);
   115         HtmlDocument htmlDocument = new HtmlDocument(htmlComment, htmlTree);
   116         HtmlDocument htmlDocument = new HtmlDocument(htmlComment, htmlTree);