1 |
<? include("public_config.inc.php"); ?> |
2 |
|
3 |
<? include($titleHTML); ?> |
4 |
|
5 |
<form method="<?=$formMethod?>" action="<?=$destination?>"> |
6 |
<table border="0"> |
7 |
<tr> |
8 |
<td>Machine name</td> |
9 |
<td><input type="text" name="machine"></td> |
10 |
</tr> |
11 |
<tr> |
12 |
<td>Base font size</td> |
13 |
<td> |
14 |
<select name="fontsize"> |
15 |
<option value="2">2</option> |
16 |
<option value="3">3</option> |
17 |
<option value="4">4</option> |
18 |
<option value="5">5</option> |
19 |
<option value="6">6</option> |
20 |
<option value="7">7</option> |
21 |
</select> |
22 |
</td> |
23 |
</tr> |
24 |
<tr> |
25 |
<td>Auto scroll window</td> |
26 |
<td><input type="checkbox" name="scroll"></td> |
27 |
</tr> |
28 |
<tr> |
29 |
<td>Hide user input form</td> |
30 |
<td><input type="checkbox" name="hideform"></td> |
31 |
</tr> |
32 |
<tr> |
33 |
<td>Page width</td> |
34 |
<td><input type="text" name="pagewidth" value="600"></td> |
35 |
</tr> |
36 |
<tr> |
37 |
<td>Small mode</td> |
38 |
<td><input type="checkbox" name="small"></td> |
39 |
</tr> |
40 |
<tr> |
41 |
<td> </td> |
42 |
<td> |
43 |
<input type="submit"> |
44 |
</td> |
45 |
</tr> |
46 |
</table> |
47 |
</form> |
48 |
|
49 |
<? include($bottomHTML); ?> |