_tabs.scss.html 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  5. <title>The source code</title>
  6. <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
  7. <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
  8. <style type="text/css">
  9. .highlight { display: block; background-color: #ddd; }
  10. </style>
  11. <script type="text/javascript">
  12. function highlight() {
  13. document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
  14. }
  15. </script>
  16. </head>
  17. <body onload="prettyPrint(); highlight();">
  18. <pre class="prettyprint lang-js">//color
  19. $tabbar-base-color: adjust-color($panel-base-color, $hue: 0deg, $saturation: -3.156%, $lightness: -5.294%) !default;
  20. $tabbar-background-gradient: 'tabbar' !default;
  21. //background
  22. $tab-base-color: adjust-color($base-color, $hue: 0deg, $saturation: 33.016%, $lightness: 9.02%) !default; //#deecfd
  23. $tab-base-color-over: adjust-color($tab-base-color, $hue: 0deg, $saturation: 11.429%, $lightness: 2.353%) !default;
  24. $tab-base-color-active: $tab-base-color !default;
  25. $tab-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: 15.873%, $lightness: 9.02%) !default; //E1ECFA
  26. $tab-background: $tab-base-color !default;
  27. $tab-background-over: $tab-base-color-over !default;
  28. $tab-background-active: $tab-base-color-active !default;
  29. $tab-background-disabled: $tab-base-color-disabled !default;
  30. $tab-color: adjust-color($tab-base-color, $hue: 0deg, $saturation: -45.589%, $lightness: -48.431%) !default;
  31. $tab-color-over: $tab-color !default;
  32. $tab-color-active: adjust-color($tab-color, $hue: 0deg, $saturation: 30.768%, $lightness: -13.333%) !default;
  33. $tab-color-disabled: #c3b3b3 !default;
  34. $tab-font-size: ceil($font-size * .9) !default; //11px
  35. $tab-font-size-over: $tab-font-size !default;
  36. $tab-font-size-active: $tab-font-size !default;
  37. $tab-font-size-disabled: $tab-font-size !default;
  38. $tab-font-family: $font-family !default;
  39. $tab-font-family-over: $tab-font-family !default;
  40. $tab-font-family-active: $tab-font-family !default;
  41. $tab-font-family-disabled: $tab-font-family !default;
  42. $tab-font-weight: bold !default;
  43. $tab-font-weight-over: $tab-font-weight !default;
  44. $tab-font-weight-active: $tab-font-weight !default;
  45. $tab-font-weight-disabled: $tab-font-weight !default;
  46. $tab-background-gradient: 'tab' !default;
  47. $tab-background-gradient-over: 'tab-over' !default;
  48. $tab-background-gradient-active: 'tab-active' !default;
  49. $tab-background-gradient-disabled: 'tab-disabled' !default;
  50. //borders
  51. $tab-inner-border: true !default;
  52. $tab-top-border-radius: 4px 4px 0 0 !default;
  53. $tab-top-border-width: 1px 1px 0 1px !default;
  54. $tab-top-inner-border-width: 1px 1px 0 !default;
  55. $tab-bottom-border-radius: 0 0 4px 4px !default;
  56. $tab-bottom-border-width: 0 1px 1px 1px !default;
  57. $tab-bottom-inner-border-width: 0 1px 1px 1px !default;
  58. $tab-border-color: adjust-color($tab-base-color, $hue:0deg, $saturation: -28.008%, $lightness: -20.98%) !default;
  59. $tab-border-color-over: $tab-border-color !default;
  60. $tab-border-color-active: $tab-border-color !default;
  61. $tab-border-color-disabled: adjust-color($base-color, $hue:0deg, $saturation: 6.349%, $lightness: -0.588%) !default;
  62. $tab-inner-border-color: adjust-color($tab-base-color, $hue: 0deg, $saturation: -8.571%, $lightness: 8.941%) !default;
  63. $tabbar-border-color: $panel-header-border-color !default;
  64. //size
  65. $tab-height: 20px !default;
  66. $tab-spacing: 2px !default;
  67. //tab bar body border and padding
  68. $tabbar-top-body-border-width: 1px 1px 0 !default;
  69. $tabbar-top-body-padding: 1px 0 3px !default;
  70. $tabbar-top-plain-body-border-width: 0 !default;
  71. $tabbar-top-plain-body-padding: 0 0 2px !default;
  72. $tabbar-bottom-body-border-width: 0 1px 1px !default;
  73. $tabbar-bottom-body-padding: 3px 0 1px !default;
  74. $tabbar-bottom-plain-body-border-width: 0 !default;
  75. $tabbar-bottom-plain-body-padding: 3px 0 0 !default;
  76. //closable tab
  77. $tab-closable-icon: 'tab/tab-default-close.gif' !default;
  78. $tab-closable-icon-width: 11px !default;
  79. $tab-closable-icon-height: 11px !default;
  80. $tab-closable-icon-top: 2px !default;
  81. $tab-closable-icon-right: 2px !default;
  82. $nbr-tab-closable-icon-top: 0px !default;
  83. $nbr-tab-closable-icon-right: 0px !default;
  84. //tab bar strip
  85. $tabbar-strip-height: 3px !default;
  86. $tabbar-strip-border-color: $panel-header-border-color !default;
  87. $tabbar-strip-background-color: $tab-base-color !default;
  88. $tabbar-top-strip-border-width: 1px 1px 0 !default;
  89. $tabbar-bottom-strip-border-width: 0 1px 1px !default;</pre>
  90. </body>
  91. </html>