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>";
}
