- /**
- * So, there are errors
- * This is the only place where the generic GUI-wrapper is not
- * called, but generated right here. This is due to the complexity
- * of the output.
- */
- echo "<html>\n"
- . "<head>\n"
- . '<title>' . _("SquirrelSpell Results") . '</title>';
- /**
- * Check if there are user-defined stylesheets.
- */
- if ($theme_css != '') {
- echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"$theme_css\" />\n";
- }