Documentation TYPO3 par Ameos |
00001 <?php 00002 /* $Id: phpmyadmin.css.php,v 2.4 2003/12/30 18:24:11 rabus Exp $ */ 00003 // vim: expandtab sw=4 ts=4 sts=4: 00004 00005 chdir('..'); 00006 $is_minimum_common = TRUE; 00007 require_once('./libraries/grab_globals.lib.php'); 00008 require_once('./libraries/common.lib.php'); 00009 require_once('./libraries/sqlparser.lib.php'); 00010 00011 // Gets the default font sizes 00012 // garvin: TODO: Should be optimized to not include the whole common.lib.php bunch 00013 // but only functions used to determine browser heritage. 00014 PMA_setFontSizes(); 00015 00016 $ctype = 'css'; 00017 require_once('./libraries/header_http.inc.php'); 00018 00019 if (!isset($js_frame)) { 00020 $js_frame = 'left'; 00021 } 00022 00023 if ($js_frame == 'left') { 00024 /************************************************************************************ 00025 * LEFT FRAME 00026 ************************************************************************************/ 00027 00031 if (isset($num_dbs) && $num_dbs == '0') { 00032 ?> 00033 /* No layer effects neccessary */ 00034 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00035 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00036 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none} 00037 .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} 00038 .tblItem:hover {color: #FF0000; text-decoration: underline} 00039 <?php 00040 } else { 00041 if (isset($js_capable) && $js_capable != '0') { 00042 // Brian Birtles : This is not the ideal method of doing this 00043 // but under the 7th June '00 Mozilla build (and many before 00044 // it) Mozilla did not treat text between <style> tags as 00045 // style information unless it was written with the one call 00046 // to write(). 00047 if (isset($js_isDOM) && $js_isDOM != '0') { 00048 ?> 00049 /* Layer effects neccessary: capable && is_DOM is set. We found a recent CSS-Browser */ 00050 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00051 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00052 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000} 00053 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; display: block} 00054 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none; display: none} 00055 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none} 00056 .tblItem:hover {color: #FF0000; text-decoration: underline} 00057 <?php 00058 } else { 00059 ?> 00060 /* Layer effeccts neccessary: capable, but no is_DOM. We found an older CSS-Browser */ 00061 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00062 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00063 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000} 00064 <?php 00065 if (isset($js_isIE4) && $js_isIE4 != '0') { 00066 ?> 00067 /* Additional effects for IE4 */ 00068 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; display: block} 00069 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none; display: none} 00070 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none} 00071 .tblItem:hover {color: #FF0000; text-decoration: underline} 00072 <?php 00073 } 00074 else { 00075 ?> 00076 /* Additional effects for NON-IE4 */ 00077 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none; position: absolute; visibility: hidden} 00078 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; position: absolute; visibility: hidden} 00079 .item, .tblItem {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none} 00080 <?php 00081 } 00082 } 00083 } else { 00084 ?> 00085 /* Additional effects for left frame not required or not possible because of lacking CSS-capability. */ 00086 div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00087 .heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000} 00088 .headaCnt {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #000000} 00089 .parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none} 00090 .child {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none} 00091 .item, .item:active, .item:hover, .tblItem, .tblItem:active {font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none} 00092 .tblItem:hover {color: #FF0000; text-decoration: underline} 00093 <?php 00094 } 00095 } 00096 ?> 00097 /* Always enabled stylesheets (left frame) */ 00098 body {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>} 00099 input {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>} 00100 select {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; background-color: #ffffff; color: #000000} 00101 <?php 00102 } elseif ($js_frame == 'print') { 00103 /************************************************************************************ 00104 * PRINT VIEW 00105 ************************************************************************************/ 00106 00107 ?> 00108 /* For printview */ 00109 body {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #ffffff} 00110 h1 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold} 00111 table {border-width:1px; border-color:#000000; border-style:solid; border-collapse:collapse; border-spacing:0} 00112 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} 00113 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} 00114 <?php 00115 } else { 00116 /************************************************************************************ 00117 * RIGHT FRAME 00118 ************************************************************************************/ 00119 00120 ?> 00121 /* Always enabled stylesheets (right frame) */ 00122 body { 00123 font-family: <?php echo $right_font_family; ?>; 00124 font-size: <?php echo $font_size; ?>; 00125 color: #000000; 00126 <?php 00127 if ($GLOBALS['cfg']['RightBgImage'] == '') { 00128 // calls from a css file are relative to itself, so use ../images 00129 echo ' background-image: url(../images/vertical_line.png);' . "\n" 00130 . ' background-repeat: repeat-y;' . "\n"; 00131 } else { 00132 echo ' background-image: url(' . $GLOBALS['cfg']['RightBgImage'] . ');' . "\n"; 00133 } // end if... else... 00134 ?> 00135 background-color: <?php echo $GLOBALS['cfg']['RightBgColor'] . "\n"; ?> 00136 } 00137 00138 pre, tt {font-size: <?php echo $font_size; ?>} 00139 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']; ?>} 00140 td {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>} 00141 form {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>} 00142 input {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>} 00143 input.textfield {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF} 00144 select {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF} 00145 textarea {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000; background-color: #FFFFFF} 00146 h1 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold} 00147 h2 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold} 00148 h3 {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold} 00149 a:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF} 00150 a:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: none; color: #0000FF} 00151 a:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; text-decoration: underline; color: #FF0000} 00152 a.nav:link {font-family: <?php echo $right_font_family; ?>; color: #000000} 00153 a.nav:visited {font-family: <?php echo $right_font_family; ?>; color: #000000} 00154 a.nav:hover {font-family: <?php echo $right_font_family; ?>; color: #FF0000} 00155 a.h1:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000} 00156 a.h1:active {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000} 00157 a.h1:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #000000} 00158 a.h1:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_biggest; ?>; font-weight: bold; color: #FF0000} 00159 a.h2:link {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000} 00160 a.h2:active {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000} 00161 a.h2:visited {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #000000} 00162 a.h2:hover {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_bigger; ?>; font-weight: bold; color: #FF0000} 00163 a.drop:link {font-family: <?php echo $right_font_family; ?>; color: #ff0000} 00164 a.drop:visited {font-family: <?php echo $right_font_family; ?>; color: #ff0000} 00165 a.drop:hover {font-family: <?php echo $right_font_family; ?>; color: #ffffff; background-color:#ff0000; text-decoration: none} 00166 dfn {font-style: normal} 00167 dfn:hover {font-style: normal; cursor: help} 00168 .nav {font-family: <?php echo $right_font_family; ?>; color: #000000} 00169 .warning {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; color: #FF0000} 00170 td.topline {font-size: 1px} 00171 td.tab { 00172 border-top: 1px solid #999; 00173 border-right: 1px solid #666; 00174 border-left: 1px solid #999; 00175 border-bottom: none; 00176 border-radius: 2px; 00177 -moz-border-radius: 2px; 00178 } 00179 table.tabs { 00180 border-top: none; 00181 border-right: none; 00182 border-left: none; 00183 border-bottom: 1px solid #666; 00184 } 00185 00186 fieldset { 00187 border: #686868 solid 1px; 00188 padding: 0.5em; 00189 } 00190 fieldset fieldset { 00191 margin: 0.8em; 00192 } 00193 00194 button.mult_submit { 00195 border: none; 00196 background-color: transparent; 00197 } 00198 00199 .pdflayout { 00200 overflow: hidden; 00201 clip: inherit; 00202 background-color: #FFFFFF; 00203 display: none; 00204 border: 1px solid #000000; 00205 position: relative; 00206 } 00207 00208 .pdflayout_table { 00209 background: <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>; 00210 color: #000000; 00211 overflow: hidden; 00212 clip: inherit; 00213 z-index: 2; 00214 display: inline; 00215 visibility: inherit; 00216 cursor: move; 00217 position: absolute; 00218 font-size: <?php echo $font_smaller; ?>; 00219 border: 1px dashed #000000; 00220 } 00221 00222 .print{font-family:arial;font-size:8pt;} 00223 00224 /* MySQL Parser */ 00225 .syntax {font-family: sans-serif; font-size: <?php echo $font_smaller; ?>;} 00226 .syntax_comment { padding-left: 4pt; padding-right: 4pt;} 00227 .syntax_digit {} 00228 .syntax_digit_hex {} 00229 .syntax_digit_integer {} 00230 .syntax_digit_float {} 00231 .syntax_punct {} 00232 .syntax_alpha {} 00233 .syntax_alpha_columnType {text-transform: uppercase;} 00234 .syntax_alpha_columnAttrib {text-transform: uppercase;} 00235 .syntax_alpha_reservedWord {text-transform: uppercase; font-weight: bold;} 00236 .syntax_alpha_functionName {text-transform: uppercase;} 00237 .syntax_alpha_identifier {} 00238 .syntax_alpha_charset {} 00239 .syntax_alpha_variable {} 00240 .syntax_quote {white-space: pre;} 00241 .syntax_quote_backtick {} 00242 <?php 00243 echo PMA_SQP_buildCssData(); 00244 } 00245 ?> 00246