enum_editor.css.php 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980
  1. <?php
  2. /* vim: set expandtab sw=4 ts=4 sts=4: */
  3. /**
  4. * ENUM editor styles for the pmahomme theme
  5. *
  6. * @package PhpMyAdmin-theme
  7. * @subpackage PMAHomme
  8. */
  9. // unplanned execution path
  10. if (! defined('PHPMYADMIN') && ! defined('TESTSUITE')) {
  11. exit();
  12. }
  13. ?>
  14. /**
  15. * ENUM/SET editor styles
  16. */
  17. p.enum_notice {
  18. margin: 5px 2px;
  19. font-size: 80%;
  20. }
  21. #enum_editor p {
  22. margin-top: 0;
  23. font-style: italic;
  24. }
  25. #enum_editor .values,
  26. #enum_editor .add {
  27. width: 100%;
  28. }
  29. #enum_editor .add td {
  30. vertical-align: middle;
  31. width: 50%;
  32. padding: 0 0 0;
  33. padding-<?php echo $left; ?>: 1em;
  34. }
  35. #enum_editor .values td.drop {
  36. width: 1.8em;
  37. cursor: pointer;
  38. vertical-align: middle;
  39. }
  40. #enum_editor .values input {
  41. margin: .1em 0;
  42. padding-<?php echo $right; ?>: 2em;
  43. width: 100%;
  44. }
  45. #enum_editor .values img {
  46. width: 1.8em;
  47. vertical-align: middle;
  48. }
  49. #enum_editor input.add_value {
  50. margin: 0;
  51. margin-<?php echo $right; ?>: 0.4em;
  52. }
  53. #enum_editor_output textarea {
  54. width: 100%;
  55. float: <?php echo $right; ?>;
  56. margin: 1em 0 0 0;
  57. }
  58. /**
  59. * ENUM/SET editor integration for the routines editor
  60. */
  61. .enum_hint {
  62. position: relative;
  63. }
  64. .enum_hint a {
  65. position: absolute;
  66. <?php echo $left; ?>: 81%;
  67. bottom: .35em;
  68. }