very_small/css/theme_print.css.php

   1 <?php $pma_http_url = ''; ?>
   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 Very_small
   9  */
  10 ?>
  11 /* For printview */
  12 body {
  13     font-family:       Verdana, Arial, Helvetica, sans-serif;
  14     font-size:         10px;
  15     color:             #000000;
  16     background-color:  #ffffff;
  17     margin:            0px;
  18     padding:           0px;
  19 }
  20 h1 {
  21     font-family:       Verdana, Arial, Helvetica, sans-serif;
  22     font-size:         14px;
  23     font-weight:       bold;
  24     color:             #000000;
  25 }
  26 big {
  27     font-family:       Verdana, Arial, Helvetica, sans-serif;
  28     font-size:         12px;
  29     font-weight:       bold;
  30     color:             #000000;
  31 }
  32 table {
  33     border-width:      1px;
  34     border-color:      #000000;
  35     border-style:      solid;
  36     border-collapse:   collapse;
  37     border-spacing:    0;
  38 }
  39 th {
  40     font-family:       Verdana, Arial, Helvetica, sans-serif;
  41     font-size:         10px;
  42     font-weight:       bold;
  43     color:             #000000;
  44     background-color:  #e5e5e5;
  45     border-width:      1px;
  46     border-color:      #000000;
  47     border-style:      solid;
  48     padding:           2px;
  49 }
  50 td, .print {
  51     font-family:       Verdana, Arial, Helvetica, sans-serif;
  52     font-size:         10px;
  53     color:             #000000;
  54     background-color:  #ffffff;
  55     border-width:      1px;
  56     border-color:      #000000;
  57     border-style:      solid;
  58     padding:           2px;
  59 }
  60 a:link, a:visited, a:active {
  61     text-decoration:     none;
  62     font-weight:         bold;
  63     color:               #696ab5;
  64
  65 }
  66 a:hover {
  67     text-decoration:     none;
  68     color:               #585880;
  69 }
  70
  71 input[type=button], input[type=submit], input[type=reset] {
  72     color:               #585880;
  73     font-size:           11px;
  74     font-weight:         bold;
  75     padding:             2px;
  76     border:              1px solid #585880;
  77     background-color:    #e5e5e5;
  78 }
  79
  80 /* -- SERVER & DB INFO -- */
  81 .serverinfo {
  82     font-family:        Arial, Helvetica, Verdana, Geneva, sans-serif;
  83     font-size:          12px;
  84     font-weight:        bold;
  85     padding:            0px 0px 10px 0px;
  86     margin:             0px;
  87     white-space:        nowrap;
  88     vertical-align:     middle;
  89 }
  90
  91 .serverinfo a:link, .serverinfo a:active, .serverinfo a:visited {
  92     font-family:       Arial, Helvetica, Verdana, Geneva, sans-serif;
  93     font-size:         12px;
  94     font-weight:       bold;
  95 }
  96 .serverinfo a img {
  97     vertical-align:    middle;
  98     margin:            0px 1px 0px 1px;
  99 }
 100
 101 .serverinfo div {
 102     background-image:    url(<?php echo ( (isset($pma_http_url) && !empty($pma_http_url)) ? $pma_http_url : '../' ); ?>themes/arctic_ocean/img/item_ltr.png);
 103     background-repeat:   no-repeat;
 104     background-position: 50% 50%;
 105     width:               20px;
 106     height:              16px;
 107 }