', $theme_css); echo "\n"; } echo "
'; echo ' '; echo _("Sign Out"); echo ''; echo ' | '; echo '
';
echo ' '; echo _("You have been successfully signed out."); echo ' '; echo ''; echo _("Click here to log back in."); echo ' '; echo ' | ';
echo '
;
echo ' '; echo ' | ';
echo '