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