public static void resetHead() { head = "<html><head><style type=\"text/css\">"; head += " body {font-family: " + GlobalSettings.guiFontFamily + ", verdana, courier, sans-serif; font-size: " + GlobalSettings.guiFontSize + "px;}"; head += " .timestamp {color: #" + makeColor(cs.getForegroundColor()) + ";}"; head += " .channel {color: #" + makeColor(cs.getChannelColor()) + ";}"; head += " .info {color: #" + makeColor(cs.getInfoColor()) + ";}"; head += " .error {color: #" + makeColor(cs.getErrorColor()) + ";}"; head += " .debug {font-family: courier; color: #" + makeColor(cs.getDebugColor()) + ";}"; head += "</style></head><body>"; }
private void appendDate() { Calendar cal = TimeFormatter.getCalendar(); int day_of_week = cal.get(Calendar.DAY_OF_WEEK); if (day_of_week != last_day_of_week) { last_day_of_week = day_of_week; addSeparator(); makeFont(cs.getInfoColor()); html += safeHtml(TimeFormatter.formatDate(cal.getTime())); html += "</font><br>\r\n"; addSeparator(); } if (addSeparator) { if (html.length() > 0) html += "<hr>\r\n"; addSeparator = false; } html += "<font class=\"timestamp\">["; html += TimeFormatter.getTimestamp(); html += "] </font>"; }