Method
printHeader
(PrintStream out, String title)
Source from the content-addressed store, hash-verified
| 549 | } |
| 550 | |
| 551 | private final void printHeader(PrintStream out, String title) { |
| 552 | out.println("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/REC-html40/loose.dtd\"><html><head><title>DevIL Documentation, " + title + "</title></head><body topmargin=\"0\" bgcolor=\"white\"><font face=\"verdana\"><img src=\"../images/DevIL.gif\"><br></font>"); |
| 553 | out.println("<style type=\"text/css\">"); |
| 554 | out.println("A.color{color: FFFFFF;text-decoration: none;}"); |
| 555 | out.println("</style>"); |
| 556 | out.println(); |
| 557 | out.println(); |
| 558 | out.println(); |
| 559 | } |
| 560 | |
| 561 | private final void printEnd(PrintStream out) { |
| 562 | out.println(); |
Tested by
no test coverage detected