<?php
// unplanned execution path
if (!defined('PMA_MINIMUM_COMMON')) {
exit();
}
?>
/******************************************************************************/
/* general tags */
body {
margin: 0.5em;
padding: 0;
font-family: <?php echo $GLOBALS['right_font_family']; ?>;
font-size: 11px;
color: #000000;
background-image: url(../<?php echo $GLOBALS['cfg']['ThemePath']; ?>/original/img/vertical_line.png);
background-repeat: repeat-y;
background-color: #F5F5F5;
}