Startseite Erkunden Hilfe
Anmelden
lixinru
/
YtIoT
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: master
Branches Tags
YtIoT
/
WebRoot
/
res
/
extjs
/
docs
/
source
/
_tabs.scss.html

_tabs.scss.html 4.4 KB
Permalink Verlauf Originalformat

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108 
  1. <!DOCTYPE html>
    2. 

  2. <html>
    3. 

  3. <head>
    4. 

  4.   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    5. 

  5.   <title>The source code</title>
    6. 

  6.   <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
    7. 

  7.   <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
    8. 

  8.   <style type="text/css">
    9. 

  9.     .highlight { display: block; background-color: #ddd; }
    10. 

  10.   </style>
    11. 

  11.   <script type="text/javascript">
    12. 

  12.     function highlight() {
    13. 

  13.       document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
    14. 

  14.     }
    15. 

  15.   </script>
    16. 

  16. </head>
    17. 

  17. <body onload="prettyPrint(); highlight();">
    18. 

  18.   <pre class="prettyprint lang-js">//color
    19. 

  19. $tabbar-base-color: adjust-color($panel-base-color, $hue: 0deg, $saturation: -3.156%, $lightness: -5.294%) !default;
    20. 

  20. $tabbar-background-gradient: 'tabbar' !default;
    21. 

  21. 

  22. //background
    23. 

  23. $tab-base-color: adjust-color($base-color, $hue: 0deg, $saturation: 33.016%, $lightness: 9.02%) !default; //#deecfd
    24. 

  24. $tab-base-color-over: adjust-color($tab-base-color, $hue: 0deg, $saturation: 11.429%, $lightness: 2.353%) !default;
    25. 

  25. $tab-base-color-active: $tab-base-color !default;
    26. 

  26. $tab-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: 15.873%, $lightness: 9.02%) !default; //E1ECFA
    27. 

  27. 

  28. $tab-background: $tab-base-color !default;
    29. 

  29. $tab-background-over: $tab-base-color-over !default;
    30. 

  30. $tab-background-active: $tab-base-color-active !default;
    31. 

  31. $tab-background-disabled: $tab-base-color-disabled !default;
    32. 

  32. 

  33. $tab-color: adjust-color($tab-base-color, $hue: 0deg, $saturation: -45.589%, $lightness: -48.431%) !default;
    34. 

  34. $tab-color-over: $tab-color !default;
    35. 

  35. $tab-color-active: adjust-color($tab-color, $hue: 0deg, $saturation: 30.768%, $lightness: -13.333%) !default;
    36. 

  36. $tab-color-disabled: #c3b3b3 !default;
    37. 

  37. 

  38. $tab-font-size: ceil($font-size * .9) !default; //11px
    39. 

  39. $tab-font-size-over: $tab-font-size !default;
    40. 

  40. $tab-font-size-active: $tab-font-size !default;
    41. 

  41. $tab-font-size-disabled: $tab-font-size !default;
    42. 

  42. 

  43. $tab-font-family: $font-family !default;
    44. 

  44. $tab-font-family-over: $tab-font-family !default;
    45. 

  45. $tab-font-family-active: $tab-font-family !default;
    46. 

  46. $tab-font-family-disabled: $tab-font-family !default;
    47. 

  47. 

  48. $tab-font-weight: bold !default;
    49. 

  49. $tab-font-weight-over: $tab-font-weight !default;
    50. 

  50. $tab-font-weight-active: $tab-font-weight !default;
    51. 

  51. $tab-font-weight-disabled: $tab-font-weight !default;
    52. 

  52. 

  53. $tab-background-gradient: 'tab' !default;
    54. 

  54. $tab-background-gradient-over: 'tab-over' !default;
    55. 

  55. $tab-background-gradient-active: 'tab-active' !default;
    56. 

  56. $tab-background-gradient-disabled: 'tab-disabled' !default;
    57. 

  57. 

  58. //borders
    59. 

  59. $tab-inner-border: true !default;
    60. 

  60. 

  61. $tab-top-border-radius: 4px 4px 0 0 !default;
    62. 

  62. $tab-top-border-width: 1px 1px 0 1px !default;
    63. 

  63. $tab-top-inner-border-width: 1px 1px 0 !default;
    64. 

  64. 

  65. $tab-bottom-border-radius: 0 0 4px 4px !default;
    66. 

  66. $tab-bottom-border-width: 0 1px 1px 1px !default;
    67. 

  67. $tab-bottom-inner-border-width: 0 1px 1px 1px !default;
    68. 

  68. 

  69. $tab-border-color: adjust-color($tab-base-color, $hue:0deg, $saturation: -28.008%, $lightness: -20.98%) !default;
    70. 

  70. $tab-border-color-over: $tab-border-color !default;
    71. 

  71. $tab-border-color-active: $tab-border-color !default;
    72. 

  72. $tab-border-color-disabled: adjust-color($base-color, $hue:0deg, $saturation: 6.349%, $lightness: -0.588%) !default;
    73. 

  73. 

  74. $tab-inner-border-color: adjust-color($tab-base-color, $hue: 0deg, $saturation: -8.571%, $lightness: 8.941%) !default;
    75. 

  75. 

  76. $tabbar-border-color: $panel-header-border-color !default;
    77. 

  77. 

  78. //size
    79. 

  79. $tab-height: 20px !default;
    80. 

  80. $tab-spacing: 2px !default;
    81. 

  81. 

  82. //tab bar body border and padding
    83. 

  83. $tabbar-top-body-border-width: 1px 1px 0 !default;
    84. 

  84. $tabbar-top-body-padding: 1px 0 3px !default;
    85. 

  85. $tabbar-top-plain-body-border-width: 0 !default;
    86. 

  86. $tabbar-top-plain-body-padding: 0 0 2px !default;
    87. 

  87. $tabbar-bottom-body-border-width: 0 1px 1px !default;
    88. 

  88. $tabbar-bottom-body-padding: 3px 0 1px !default;
    89. 

  89. $tabbar-bottom-plain-body-border-width: 0 !default;
    90. 

  90. $tabbar-bottom-plain-body-padding: 3px 0 0 !default;
    91. 

  91. 

  92. //closable tab
    93. 

  93. $tab-closable-icon: 'tab/tab-default-close.gif' !default;
    94. 

  94. $tab-closable-icon-width: 11px !default;
    95. 

  95. $tab-closable-icon-height: 11px !default;
    96. 

  96. $tab-closable-icon-top: 2px !default;
    97. 

  97. $tab-closable-icon-right: 2px !default;
    98. 

  98. $nbr-tab-closable-icon-top: 0px !default;
    99. 

  99. $nbr-tab-closable-icon-right: 0px !default;
    100. 

  100. 

  101. //tab bar strip
    102. 

  102. $tabbar-strip-height: 3px !default;
    103. 

  103. $tabbar-strip-border-color: $panel-header-border-color !default;
    104. 

  104. $tabbar-strip-background-color: $tab-base-color !default;
    105. 

  105. $tabbar-top-strip-border-width: 1px 1px 0 !default;
    106. 

  106. $tabbar-bottom-strip-border-width: 0 1px 1px !default;</pre>
    107. 

  107. </body>
    108. 

  108. </html>
    109.