}
global $theme_css, $custom_css;
- echo '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">' .
+ echo '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">' .
"\n\n<HTML>\n<HEAD>\n";
if ( !isset( $custom_css ) || $custom_css == 'none' ) {