version-picker.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. .version-picker {
  2. display: flex;
  3. align-items: center;
  4. }
  5. .version-picker .dropdown {
  6. width: 130px;
  7. max-height: 29px;
  8. margin-left: 10px;
  9. display: inline-block;
  10. border-radius: 4px;
  11. border: 1px solid var(--theme-popup-border);
  12. position: relative;
  13. font-size: 13px;
  14. color: var(--fg);
  15. height: 100%;
  16. text-align: left;
  17. }
  18. .version-picker .dropdown .select {
  19. cursor: pointer;
  20. display: block;
  21. padding: 5px 2px 5px 15px;
  22. }
  23. .version-picker .dropdown .select > i {
  24. font-size: 10px;
  25. color: var(--fg);
  26. cursor: pointer;
  27. float: right;
  28. line-height: 20px !important;
  29. }
  30. .version-picker .dropdown:hover {
  31. border: 1px solid var(--theme-popup-border);
  32. }
  33. .version-picker .dropdown:active {
  34. background-color: var(--theme-popup-bg);
  35. }
  36. .version-picker .dropdown.active:hover,
  37. .version-picker .dropdown.active {
  38. border: 1px solid var(--theme-popup-border);
  39. border-radius: 2px 2px 0 0;
  40. background-color: var(--theme-popup-bg);
  41. }
  42. .version-picker .dropdown.active .select > i {
  43. transform: rotate(-180deg);
  44. }
  45. .version-picker .dropdown .dropdown-menu {
  46. position: absolute;
  47. background-color: var(--theme-popup-bg);
  48. width: 100%;
  49. left: -1px;
  50. right: 1px;
  51. margin-top: 1px;
  52. border: 1px solid var(--theme-popup-border);
  53. border-radius: 0 0 4px 4px;
  54. overflow: hidden;
  55. display: none;
  56. max-height: 300px;
  57. overflow-y: auto;
  58. z-index: 9;
  59. }
  60. .version-picker .dropdown .dropdown-menu li {
  61. font-size: 12px;
  62. padding: 6px 20px;
  63. cursor: pointer;
  64. }
  65. .version-picker .dropdown .dropdown-menu {
  66. padding: 0;
  67. list-style: none;
  68. }
  69. .version-picker .dropdown .dropdown-menu li:hover {
  70. background-color: var(--theme-hover);
  71. }
  72. .version-picker .dropdown .dropdown-menu li.active::before {
  73. display: inline-block;
  74. content: "✓";
  75. margin-inline-start: -14px;
  76. width: 14px;
  77. }