jquery.ui.menu.css 

/*!
 * jQuery UI Menu 1.10.2
 * http://jqueryui.com
 *
 * Copyright 2013 jQuery Foundation and other contributors
 * Released under the MIT license.
 * http://jquery.org/license
 *
 * http://docs.jquery.com/UI/Menu#theming
 */
.ui-menu {
	list-style: none;
	padding: 2px;
	margin: 0;
	display: block;
	outline: none;
}
.ui-menu .ui-menu {
	margin-top: -3px;
	position: absolute;
}
.ui-menu .ui-menu-item {
	margin: 0;
	padding: 0;
	width: 100%;
}
.ui-menu .ui-menu-divider {
	margin: 5px -2px 5px -2px;
	height: 0;
	font-size: 0;
	line-height: 0;
	border-width: 1px 0 0 0;
}
.ui-menu .ui-menu-item a {
	text-decoration: none;
	display: block;
	padding: 2px .4em;
	line-height: 1.5;
	min-height: 0; /* support: IE7 */
	font-weight: normal;
}
.ui-menu .ui-menu-item a.ui-state-focus,
.ui-menu .ui-menu-item a.ui-state-active {
	font-weight: normal;
	margin: -1px;
}

.ui-menu .ui-state-disabled {
	font-weight: normal;
	margin: .4em 0 .2em;
	line-height: 1.5;
}
.ui-menu .ui-state-disabled a {
	cursor: default;
}

/* icon support */
.ui-menu-icons {
	position: relative;
}
.ui-menu-icons .ui-menu-item a {
	position: relative;
	padding-left: 2em;
}

/* left-aligned */
.ui-menu .ui-icon {
	position: absolute;
	top: .2em;
	left: .2em;
}

/* right-aligned */
.ui-menu .ui-menu-icon {
	position: static;
	float: right;
}

File

drupal/core/misc/ui/themes/base/jquery.ui.menu.css
View source
  1. /*!

  2.  * jQuery UI Menu 1.10.2

  3.  * http://jqueryui.com

  4.  *

  5.  * Copyright 2013 jQuery Foundation and other contributors

  6.  * Released under the MIT license.

  7.  * http://jquery.org/license

  8.  *

  9.  * http://docs.jquery.com/UI/Menu#theming

  10.  */

  11. .ui-menu {

  12. 	list-style: none;

  13. 	padding: 2px;

  14. 	margin: 0;

  15. 	display: block;

  16. 	outline: none;

  17. }

  18. .ui-menu .ui-menu {

  19. 	margin-top: -3px;

  20. 	position: absolute;

  21. }

  22. .ui-menu .ui-menu-item {

  23. 	margin: 0;

  24. 	padding: 0;

  25. 	width: 100%;

  26. }

  27. .ui-menu .ui-menu-divider {

  28. 	margin: 5px -2px 5px -2px;

  29. 	height: 0;

  30. 	font-size: 0;

  31. 	line-height: 0;

  32. 	border-width: 1px 0 0 0;

  33. }

  34. .ui-menu .ui-menu-item a {

  35. 	text-decoration: none;

  36. 	display: block;

  37. 	padding: 2px .4em;

  38. 	line-height: 1.5;

  39. 	min-height: 0; /* support: IE7 */

  40. 	font-weight: normal;

  41. }

  42. .ui-menu .ui-menu-item a.ui-state-focus,

  43. .ui-menu .ui-menu-item a.ui-state-active {

  44. 	font-weight: normal;

  45. 	margin: -1px;

  46. }

  47. 

  48. .ui-menu .ui-state-disabled {

  49. 	font-weight: normal;

  50. 	margin: .4em 0 .2em;

  51. 	line-height: 1.5;

  52. }

  53. .ui-menu .ui-state-disabled a {

  54. 	cursor: default;

  55. }

  56. 

  57. /* icon support */

  58. .ui-menu-icons {

  59. 	position: relative;

  60. }

  61. .ui-menu-icons .ui-menu-item a {

  62. 	position: relative;

  63. 	padding-left: 2em;

  64. }

  65. 

  66. /* left-aligned */

  67. .ui-menu .ui-icon {

  68. 	position: absolute;

  69. 	top: .2em;

  70. 	left: .2em;

  71. }

  72. 

  73. /* right-aligned */

  74. .ui-menu .ui-menu-icon {

  75. 	position: static;

  76. 	float: right;

  77. }