path disclosure
[phpmyadmin/crack.git] / css / phpmyadmin.css.php3
blobf6267ce4589134ea44254e64d5098e02bf559ddd
1 <?php
2 /* $Id$ */
3 // vim: expandtab sw=4 ts=4 sts=4:
5 chdir('..');
6 $is_minimum_common = TRUE;
7 require('./libraries/grab_globals.lib.php3');
8 require('./libraries/common.lib.php3');
10 // Gets the default font sizes
11 // garvin: TODO: Should be optimized to not include the whole common.lib.php3 bunch
12 // but only functions used to determine browser heritage.
13 PMA_setFontSizes();
15 $ctype = 'css';
16 require('./libraries/header_http.inc.php3');
18 if (!isset($js_frame)) {
19 $js_frame = 'left';
22 if ($js_frame == 'left') {
23 /************************************************************************************
24 * LEFT FRAME
25 ************************************************************************************/
27 /**
28 * Add styles for positioned layers
30 if (isset($num_dbs) && $num_dbs == '0') {
32 /* No layer effects neccessary */
33 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
34 input {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>}
35 select {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; background-color: #ffffff; color: #000000}
36 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
37 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none}
38 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
39 .tblItem:hover {color: #FF0000; text-decoration: underline}
40 <?php
41 } else {
42 if (isset($js_capable) && $js_capable != '0') {
43 // Brian Birtles : This is not the ideal method of doing this
44 // but under the 7th June '00 Mozilla build (and many before
45 // it) Mozilla did not treat text between <style> tags as
46 // style information unless it was written with the one call
47 // to write().
48 if (isset($js_isDOM) && $js_isDOM != '0') {
50 /* Layer effects neccessary: capable && is_DOM is set. We found a recent CSS-Browser */
51 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
52 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
53 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000}
54 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; display: block}
55 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none; display: none}
56 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
57 .tblItem:hover {color: #FF0000; text-decoration: underline}
58 <?php
59 } else {
61 /* Layer effeccts neccessary: capable, but no is_DOM. We found an older CSS-Browser */
62 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
63 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
64 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000}
65 <?php
66 if (isset($js_isIE4) && $js_isIE4 != '0') {
68 /* Additional effects for IE4 */
69 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; display: block}
70 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none; display: none}
71 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
72 .tblItem:hover {color: #FF0000; text-decoration: underline}
73 <?php
75 else {
77 /* Additional effects for NON-IE4 */
78 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; position: absolute; visibility: hidden}
79 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; position: absolute; visibility: hidden}
80 .item, .tblItem {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
81 <?php
84 } else {
86 /* Additional effects for left frame not required or not possible because of lacking CSS-capability. */
87 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
88 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
89 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000}
90 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none}
91 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
92 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
93 .tblItem:hover {color: #FF0000; text-decoration: underline}
94 <?php
98 /* Always enabled stylesheets (left frame) */
99 body {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>}
100 <?php
101 } elseif ($js_frame == 'print') {
102 /************************************************************************************
103 * PRINT VIEW
104 ************************************************************************************/
107 /* For printview */
108 body {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #ffffff}
109 h1 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold}
110 table {border-width:1px; border-color:#000000; border-style:solid; border-collapse:collapse; border-spacing:0}
111 th {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #000000; background-color: #ffffff; border-width:1px; border-color:#000000; border-style:solid; padding:2px}
112 td {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #ffffff; border-width:1px; border-color:#000000; border-style:solid; padding:2px}
113 <?php
114 } else {
115 /************************************************************************************
116 * RIGHT FRAME
117 ************************************************************************************/
120 /* Always enabled stylesheets (right frame) */
121 body {
122 font-family: <?php echo $right_font_family; ?>;
123 font-size: <?php echo $font_size; ?>;
124 color: #000000;
125 <?php
126 if ($GLOBALS['cfg']['RightBgImage'] == '') {
127 // calls from a css file are relative to itself, so use ../images
128 echo ' background-image: url(../images/vertical_line.png);' . "\n"
129 . ' background-repeat: repeat-y;' . "\n";
130 } else {
131 echo ' background-image: url(' . $GLOBALS['cfg']['RightBgImage'] . ');' . "\n";
132 } // end if... else...
134 background-color: <?php echo $GLOBALS['cfg']['RightBgColor'] . "\n"; ?>
137 pre, tt {font-size: <?php echo $font_size; ?>}
138 th {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #000000; background-color: <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>}
139 td {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
140 form {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
141 input {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
142 input.textfield {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
143 select {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
144 textarea {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF}
145 h1 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold}
146 h2 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold}
147 h3 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold}
148 a:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF}
149 a:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF}
150 a:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: underline; color: #FF0000}
151 a.nav:link {font-family: <?php echo $right_font_family; ?>; color: #000000}
152 a.nav:visited {font-family: <?php echo $right_font_family; ?>; color: #000000}
153 a.nav:hover {font-family: <?php echo $right_font_family; ?>; color: #FF0000}
154 a.h1:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
155 a.h1:active {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
156 a.h1:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000}
157 a.h1:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #FF0000}
158 a.h2:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
159 a.h2:active {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
160 a.h2:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000}
161 a.h2:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #FF0000}
162 a.drop:link {font-family: <?php echo $right_font_family; ?>; color: #ff0000}
163 a.drop:visited {font-family: <?php echo $right_font_family; ?>; color: #ff0000}
164 a.drop:hover {font-family: <?php echo $right_font_family; ?>; color: #ffffff; background-color:#ff0000; text-decoration: none}
165 dfn {font-style: normal}
166 dfn:hover {font-style: normal; cursor: help}
167 .nav {font-family: <?php echo $right_font_family; ?>; color: #000000}
168 .warning {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #FF0000}
169 td.topline {font-size: 1px}
170 td.tab {
171 border-top: 1px solid #999;
172 border-right: 1px solid #666;
173 border-left: 1px solid #999;
174 border-bottom: none;
175 border-radius: 2px;
176 -moz-border-radius: 2px;
178 table.tabs {
179 border-top: none;
180 border-right: none;
181 border-left: none;
182 border-bottom: 1px solid #666;
185 fieldset {
186 border: #686868 solid 1px;
187 padding: 0.5em;
189 fieldset fieldset {
190 margin: 0.8em;
193 .pdflayout {
194 overflow: hidden;
195 clip: inherit;
196 background-color: #FFFFFF;
197 display: none;
198 border: 1px solid #000000;
199 position: relative;
202 .pdflayout_table {
203 background: <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>;
204 color: #000000;
205 overflow: hidden;
206 clip: inherit;
207 z-index: 2;
208 display: inline;
209 visibility: inherit;
210 cursor: move;
211 position: absolute;
212 font-size: <?php echo $font_smaller; ?>;
213 border: 1px dashed #000000;
216 .print{font-family:arial;font-size:8pt;}
218 .syntax {font-family: sans-serif; font-size: <?php echo $font_smaller; ?>;}
219 .syntax_comment {}
220 .syntax_digit {}
221 .syntax_digit_hex {}
222 .syntax_digit_integer {}
223 .syntax_digit_float {}
224 .syntax_punct {}
225 .syntax_alpha {text-transform: lowercase;}
226 .syntax_alpha_columnType {text-transform: uppercase;}
227 .syntax_alpha_columnAttrib {text-transform: uppercase;}
228 .syntax_alpha_reservedWord {text-transform: uppercase; font-weight: bold;}
229 .syntax_alpha_functionName {text-transform: uppercase;}
230 .syntax_alpha_identifier {}
231 .syntax_alpha_variable {}
232 .syntax_quote {}
233 .syntax_quote_backtick {}
234 <?php
235 echo PMA_SQP_buildCssData();