Documentation TYPO3 par Ameos

phpmyadmin.css.php

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 


Généré par Les experts TYPO3 avec  doxygen 1.4.6