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