Output

/** * Burton Rosenberg Copyright (c) 2003 * 15 sept 2003 * */ public class WriteHtml { static final String HTML_HEADER = "Output" ; static final String HTML_TRAILER = "" ; static void pHTML_Header() { System.out.println(HTML_HEADER) ; System.out.println("

") ;
  }

  static void
  pHTML_Trailer() {
    System.out.println("

") ; System.out.println(HTML_TRAILER) ; } static void pHTML_InColor( String color, String text) { System.out.print("") ; System.out.print(text) ; System.out.print("") ; } }