spinbutton.css 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879
  1. /**************
  2. * spinbutton *
  3. **************/
  4. .spinbutton.entry {
  5. border: solid 1px mix(@bg_color,black, 0.2);
  6. }
  7. .spinbutton.button {
  8. padding: 4px;
  9. border-style: none;
  10. border-radius: 0;
  11. border-bottom-right-radius: 4px;
  12. background-color: transparent;
  13. color: @theme_fg_color;
  14. }
  15. .spinbutton.button:active {
  16. transition: 500ms linear;
  17. border-style: none;
  18. border-radius: 0;
  19. background-color: transparent;
  20. color: shade(@theme_selected_bg_color, 0.9);
  21. }
  22. .spinbutton.button:hover {
  23. transition: all 500ms linear;
  24. border-style: none;
  25. border-radius: 0;
  26. color: @theme_selected_bg_color;
  27. }
  28. .spinbutton.button:insensitive {
  29. border-color: alpha(@theme_bg_color, 0.01);
  30. color: mix(@theme_fg_color, @theme_bg_color, 0.5);
  31. }
  32. .spinbutton.button {
  33. border-radius: 0;
  34. border-style: solid;
  35. border-width: 0;
  36. }
  37. .spinbutton.button:first-child {
  38. border-radius: 0;
  39. }
  40. .spinbutton.button:last-child {
  41. border-radius: 0;
  42. border-bottom-left-radius: 0;
  43. border-top-left-radius: 0;
  44. border-right-color: mix(@bg_color,black, 0.2);
  45. border-style: solid;
  46. }
  47. .spinbutton.vertical .button:first-child {
  48. border-bottom-width: 0;
  49. border-radius: 4px;
  50. border-bottom-right-radius: 0;
  51. border-bottom-left-radius: 0;
  52. border: solid 1px mix(@bg_color,black, 0.2);
  53. border-bottom: none;
  54. }
  55. .spinbutton.vertical .button:last-child {
  56. border-width: 1px;
  57. border-top-width: 0;
  58. border-radius: 4px;
  59. border-top-left-radius: 0;
  60. border-top-right-radius: 0;
  61. border: solid 1px mix(@bg_color,black, 0.2);
  62. border-top: none;
  63. }
  64. .spinbutton.vertical.entry {
  65. border: solid 1px mix(@bg_color,black, 0.2);
  66. border-width: 1px;
  67. border-style: solid;
  68. border-radius: 0;
  69. }