diff options
Diffstat (limited to 'usr/local')
-rwxr-xr-x | usr/local/www/edit.php | 40 |
1 files changed, 3 insertions, 37 deletions
diff --git a/usr/local/www/edit.php b/usr/local/www/edit.php index 6d7bbaa..a9f45a1 100755 --- a/usr/local/www/edit.php +++ b/usr/local/www/edit.php @@ -96,44 +96,10 @@ $Title = gentitle("edit file"); $arrDT = localtime(); $intYear = $arrDT[5] + 1900; -?> -<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> -<title><?=$Title ?></title> -<link href="gui.css" rel="stylesheet" type="text/css"> -<style> -<!-- - -input { - font-family: courier new, courier; - font-weight: normal; - font-size: 9pt; -} +$pgtitle = "Diagnostics: Edit File"; +include("head.inc"); -pre { - border: 2px solid #435370; - background: #F0F0F0; - padding: 1em; - font-family: courier new, courier; - white-space: pre; - line-height: 10pt; - font-size: 10pt; -} - -.label { - font-family: tahoma, verdana, arial, helvetica; - font-size: 11px; - font-weight: bold; -} - -.button { - font-family: tahoma, verdana, arial, helvetica; - font-weight: bold; - font-size: 11px; -} - ---> -</style> -</head> +?> <script language="Javascript"> function sf() { document.forms[0].savetopath.focus(); } </script> |