Style:".$_GET[thestyle].""; echo "
View and navigate
"; echo "
View styled page
"; echo "
Edit style
"; echo "
View stylesheet
"; echo "
Exit from editing
"; ?>