1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
<?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;
}