1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- <?php
- /* vim: set expandtab sw=4 ts=4 sts=4: */
- /**
- * ENUM editor styles for the pmahomme theme
- *
- * @package PhpMyAdmin-theme
- * @subpackage PMAHomme
- */
- // unplanned execution path
- if (! defined('PHPMYADMIN') && ! defined('TESTSUITE')) {
- exit();
- }
- ?>
- /**
- * ENUM/SET editor styles
- */
- p.enum_notice {
- margin: 5px 2px;
- font-size: 80%;
- }
- #enum_editor p {
- margin-top: 0;
- font-style: italic;
- }
- #enum_editor .values,
- #enum_editor .add {
- width: 100%;
- }
- #enum_editor .add td {
- vertical-align: middle;
- width: 50%;
- padding: 0 0 0;
- padding-<?php echo $left; ?>: 1em;
- }
- #enum_editor .values td.drop {
- width: 1.8em;
- cursor: pointer;
- vertical-align: middle;
- }
- #enum_editor .values input {
- margin: .1em 0;
- padding-<?php echo $right; ?>: 2em;
- width: 100%;
- }
- #enum_editor .values img {
- width: 1.8em;
- vertical-align: middle;
- }
- #enum_editor input.add_value {
- margin: 0;
- margin-<?php echo $right; ?>: 0.4em;
- }
- #enum_editor_output textarea {
- width: 100%;
- float: <?php echo $right; ?>;
- margin: 1em 0 0 0;
- }
- /**
- * ENUM/SET editor integration for the routines editor
- */
- .enum_hint {
- position: relative;
- }
- .enum_hint a {
- position: absolute;
- <?php echo $left; ?>: 81%;
- bottom: .35em;
- }
|