smooth_yellow/css/theme_print.css.php

   1 <?php
   2 /* vim: set expandtab sw=4 ts=4 sts=4: */
   3 /**
   4  * print css file from theme
   5  *
   6  * @version $Id$
   7  * @package phpMyAdmin-theme
   8  * @subpackage Arctic_Ocean
   9  */
  10
  11     if (isset($GLOBALS['PMA_Config']) && $GLOBALS['PMA_Config']->get('fontsize') !== null) {
  12         $pma_fsize = $GLOBALS['PMA_Config']->get('fontsize');
  13     } else if (isset($_SESSION['PMA_Config']) && $_SESSION['PMA_Config']->get('fontsize')) {
  14         $pma_fsize = $_SESSION['PMA_Config']->get('fontsize');
  15     } else {
  16         if (isset($_COOKIE['pma_fontsize'])) {
  17             $pma_fsize = $_COOKIE['pma_fontsize'];
  18         }
  19     }
  20     $pma_fsize = preg_replace("/[^0-9]/", "", $pma_fsize);
  21     if (!empty($pma_fsize)) {
  22         $pma_fsize = ($pma_fsize * 0.01);
  23     } else {
  24         $pma_fsize = 1;
  25     }
  26     if ( isset($GLOBALS['cfg']['FontSize']) && !empty($GLOBALS['cfg']['FontSize']) ) {
  27         $usr_fsize = preg_replace("/[^0-9]/", "", $GLOBALS['cfg']['FontSize']);
  28         $fsize     = ceil($usr_fsize * $pma_fsize)
  29                    . ( (isset($GLOBALS['cfg']['FontSizePrefix']) && !empty($GLOBALS['cfg']['FontSizePrefix'])) ? $GLOBALS['cfg']['FontSizePrefix'] : 'pt' );
  30     } else
  31         $fsize = $_SESSION['PMA_Config']->get('fontsize');
  32 ?>
  33 html {
  34     font-size:           <?php echo $fsize; ?>;
  35 }
  36 body, table, th, td {
  37     color:               #000000;
  38     background-color:    #ffffff;
  39 <?php if (!empty($GLOBALS['cfg']['FontFamily'])) { ?>
  40     font-family:         <?php echo $GLOBALS['cfg']['FontFamily']; ?>;
  41 <?php } ?>
  42     font-size:           <?php echo $fsize; ?>;
  43 }
  44
  45
  46 a:link, a:visited, a:active {
  47     color:               #696ab5;
  48     font-weight:         bold;
  49     text-decoration:     none;
  50 }
  51 a:hover {
  52     color:               #585880;
  53     text-decoration:     none;
  54 }
  55
  56 h1, h2, h3    { font-weight: bold;    }
  57 h1            { font-size:   130%;    }
  58 h2            { font-size:   120%;    }
  59 h3            { font-size:   110%;    }
  60
  61 img { border: none; }
  62
  63 table, th, td {
  64     border-width:        1px;
  65     border-color:        #000000;
  66     border-style:        solid;
  67 }
  68 table {
  69     border-collapse:     collapse;
  70     border-spacing:      0;
  71 }
  72 th, td { padding: 2px; }
  73 th {
  74     background-color:    #e5e5e5;
  75     color:               #585880;
  76     font-weight:         bold;
  77 }
  78 table tr.odd th, table tr.odd td,
  79 table tr.even th, table tr.even td, .even {
  80     text-align:          <?php echo $left; ?>;
  81 }
  82 table tr.hover th, table tr.odd:hover th, table tr.even:hover th {
  83     background:          <?php echo $GLOBALS['cfg']['BrowsePointerBackground']; ?>;
  84     color:               <?php echo $GLOBALS['cfg']['BrowsePointerColor']; ?>;
  85 }
  86 table tr.hover td, table tr.odd:hover td, table tr.even:hover td {
  87     color:               #000000;
  88     background-color:    <?php echo $GLOBALS['cfg']['BgOne']; ?>;
  89 }
  90 table td table {
  91     margin:              0px;
  92     padding:             0px;
  93     width:               auto;
  94 }
  95 table td table, table td table td, table td table th {
  96     border:              1px none #999999;
  97 }
  98 table td table td, table td table th {
  99     font-size:           95%;
 100     white-space:         nowrap;
 101 }
 102
 103 #serverinfo {
 104     background-color:    #ffffff;
 105     font-weight:         bold;
 106     padding:             5px 5px 5px 5px;
 107     margin-top:          0px;
 108     white-space:         nowrap;
 109     vertical-align:      middle;
 110     border-bottom:       1px solid #585880;
 111     height:              16px;
 112 }
 113 #serverinfo .item { white-space: nowrap;          }
 114 #serverinfo img   { margin:      0px 1px 0px 1px; }
 115 #serverinfo .separator img {
 116     width:               9px;
 117     height:              11px;
 118     margin:              0px 2px 0px 2px;
 119     vertical-align:      middle;
 120 }
 121
 122 #selflink { display: none; }