1<?xml version="1.0" encoding="UTF-8"?>
2
3<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4
5<!--
6
7
8
9
10
11-->
12
13<html>
14 <head>
15 <script type='text/javascript'>
16 <!--
17 window.focus();
18 -->
19 </script>
20 <title><?lua pv('title') ?></title>
21 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
22 <!-- -->
23 <style type="text/css">
24 <?lmx-include context.css ?>
25 </style>
26 <style type="text/css">
27 #main-left {
28 position: absolute;
29 left: 0% ;
30 top: 0% ;
31 right: 0% ;
32 bottom: 0% ;
33 z-index: 2 ;
34 width: 75% ;
35 height: 100% ;
36 padding: 0% ;
37 margin: 0% ;
38 overflow: auto ;
39 border-style: none ;
40 border-width: 0 ;
41 background-color: <?lua pv('color-background-main-left')?> ;
42 }
43 #main-right {
44 position: absolute;
45 left: 75% ;
46 top: 0% ;
47 right: 0% ;
48 bottom: 0% ;
49 z-index: 2 ;
50 width: 25% ;
51 height: 100% ;
52 padding: 0% ;
53 margin: 0% ;
54 overflow: auto ;
55 border-style: none ;
56 border-width: 0 ;
57 background-color: <?lua pv('color-background-main-right')?> ;
58 }
59 #main-common-settings {
60 padding: 1em ;
61 }
62 </style>
63 <style type="text/css">
64 #main-left {
65 background-color: #C0C0C0 ;
66 color: black;
67 }
68 a.setupmenuurl {
69 color: #FFFFFF ;
70 text-decoration: none ;
71 font-weight: bold ;
72 }
73 a.setupmenucmd {
74 color: #FFFFFF ;
75 text-decoration: underline ;
76 font-weight: bold ;
77 }
78 a.setuplisturl {
79 color: #000000 ;
80 text-decoration: none ;
81 font-weight: bold ;
82 }
83 .setupmenugroup {
84 text-decoration: none ;
85 }
86 .setupinstances {
87 margin-top: 3ex ;
88 }
89 .setupmenucategory {
90 font-weight: bold ;
91 font-size: 2.5ex ;
92 margin-bottom: 1ex ;
93 }
94 <?lua
95 if utilities and utilities.scite and utilities.scite.css then
96p(utilities.scite.css())
97 end
98 ?>
99 </style>
100 </head>
101 <body>
102 <div id="top"><div id="top-one"><div id="top-two">
103<?lua pv('title') ?>
104 </div></div></div>
105 <div id="left"><div id="left-one"><div id="left-two">
106<!-- -->
107 </div></div></div>
108 <div id="right"><div id="right-safari"><div id="right-one"><div id="right-two"><div id="right-three"><div id="right-four"><div id="right-five">
109<?lua pv('interfaces') ?>
110 </div></div></div></div></div></div></div>
111 <div id="main"><div id='main-settings'>
112 <div id="main-left"><div id="main-common-settings">
113<h1><?lua pv('maintitle') ?></h1>
114<?lua pv('maintext') ?>
115 </div></div>
116 <div id="main-right"><div id="main-common-settings">
117<?lua pv('names') ?>
118<script type='text/javascript'>
119 <!--
120 document.getElementById("#current").scrollIntoView();
121 -->
122</script>
123 </div></div>
124 </div></div>
125 <div id="bottom"><div id="bottom-one"><div id="bottom-two">
126<?lua pv('extra') ?>
127 </div></div></div>
128 </body>
129</html>
130 |