home *** CD-ROM | disk | FTP | other *** search
/ Chip 2006 July / CHIP 2006-07.2.iso / program / web_gelistirme / easyphp1-7_setup.exe / {app} / phpmyadmin / css / phpmyadmin.css.php
Encoding:
PHP Script  |  2003-09-07  |  13.1 KB  |  244 lines
  1. <?php
  2. /* $Id: phpmyadmin.css.php,v 1.9 2003/07/29 09:58:59 garvinhicking Exp $ */
  3. // vim: expandtab sw=4 ts=4 sts=4:
  4.  
  5. chdir('..');
  6. $is_minimum_common = TRUE;
  7. require('./libraries/grab_globals.lib.php');
  8. require('./libraries/common.lib.php');
  9.  
  10. // Gets the default font sizes
  11. // garvin: TODO: Should be optimized to not include the whole common.lib.php bunch
  12. // but only functions used to determine browser heritage.
  13. PMA_setFontSizes();
  14.  
  15. $ctype = 'css';
  16. require('./libraries/header_http.inc.php');
  17.  
  18. if (!isset($js_frame)) {
  19.     $js_frame = 'left';
  20. }
  21.  
  22. if ($js_frame == 'left') {
  23. /************************************************************************************
  24.  * LEFT FRAME
  25.  ************************************************************************************/
  26.  
  27.     /**
  28.      * Add styles for positioned layers
  29.      */
  30.     if (isset($num_dbs) && $num_dbs == '0') {
  31.     ?>
  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') {
  49.             ?>
  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 {
  60.             ?>
  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') {
  67.                 ?>
  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
  74.                 }
  75.                  else {
  76.                 ?>
  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
  82.                 }
  83.             }
  84.         } else {
  85.         ?>
  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
  95.         }
  96.     }
  97.     ?>
  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.  ************************************************************************************/
  105.  
  106.     ?>
  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.  ************************************************************************************/
  118.  
  119. ?>
  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...
  133.     ?>
  134.     background-color: <?php echo $GLOBALS['cfg']['RightBgColor'] . "\n"; ?>
  135. }
  136.  
  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;
  177. }
  178. table.tabs      {
  179.     border-top: none;
  180.     border-right: none;
  181.     border-left: none;
  182.     border-bottom: 1px solid #666;
  183. }
  184.  
  185. fieldset {
  186.     border:     #686868 solid 1px;
  187.     padding:    0.5em;
  188. }
  189. fieldset fieldset {
  190.     margin:     0.8em;
  191. }
  192.  
  193. button.mult_submit {
  194.     border: none;
  195.     background-color: transparent;
  196. }
  197.  
  198. .pdflayout {
  199.     overflow:         hidden;
  200.     clip:             inherit;
  201.     background-color: #FFFFFF;
  202.     display:          none;
  203.     border:           1px solid #000000;
  204.     position:         relative;
  205. }
  206.  
  207. .pdflayout_table {
  208.     background:       <?php echo $GLOBALS['cfg']['ThBgcolor']; ?>;
  209.     color:            #000000;
  210.     overflow:         hidden;
  211.     clip:             inherit;
  212.     z-index:          2;
  213.     display:          inline;
  214.     visibility:       inherit;
  215.     cursor:           move;
  216.     position:         absolute;
  217.     font-size:        <?php echo $font_smaller; ?>;
  218.     border:           1px dashed #000000;
  219. }
  220.  
  221. .print{font-family:arial;font-size:8pt;}
  222.  
  223. .syntax {font-family: sans-serif; font-size: <?php echo $font_smaller; ?>;}
  224. .syntax_comment            { padding-left: 4pt; padding-right: 4pt;}
  225. .syntax_digit              {}
  226. .syntax_digit_hex          {}
  227. .syntax_digit_integer      {}
  228. .syntax_digit_float        {}
  229. .syntax_punct              {}
  230. .syntax_alpha              {}
  231. .syntax_alpha_columnType   {text-transform: uppercase;}
  232. .syntax_alpha_columnAttrib {text-transform: uppercase;}
  233. .syntax_alpha_reservedWord {text-transform: uppercase; font-weight: bold;}
  234. .syntax_alpha_functionName {text-transform: uppercase;}
  235. .syntax_alpha_identifier   {}
  236. .syntax_alpha_variable     {}
  237. .syntax_quote              {}
  238. .syntax_quote_backtick     {}
  239.     <?php
  240.     echo PMA_SQP_buildCssData();
  241. }
  242. ?>
  243.  
  244.