function themeask(){
var theme=prompt("What theme would you like? There is either terminal or blue:")
if ( theme == "blue")
//  document.getElementById('cssfile').href = 'blue.css'; 
alert("Sorry, but custom theming is disabled until the site reaches version 1.0. Current version dev.9")
else 
//  document.getElementById('cssfile').href = 'default.css';
alert("Sorry, but custom theming is disabled until the site reaches version 1.0. Current version: dev.9")
}