Miscellany

<html>	<head>		<title> Edit Configuration </title>		<style type="text/css">			textarea {				width: 100%;				height: 70%;			}			input#save {				width: 100%;			}			.status,.error {				margin-top: 1em;			}			.error {				color: red;			}			#editor {				margin: auto;				width: 80%;			}			#toindex {				margin-top: 1em;			}		</style>	</head>	<body>		<form method="post">Choose file to edit: <select name="fn"><option selected="selected">server_info</option><option>settings_custom</option><option>everytime</option></select><input type="submit" value="Edit" /></form><form method="post"><!-- editing /home/durka/svc/aa/var/server_info.cfg --><div id="editor">Editing server_info<input type="hidden" name="fn" value="server_info" /><textarea name="content"></textarea><br /><input type="submit" value="Save" /></div>		</form>		<div id="toindex"><a href="./">Back to service administration home</a></div>	</body></html>