_panel.scss.html 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  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">// TODO: Change value to $include-default-uis !default;
  19. $include-panel-uis: true;
  20. // ===============================
  21. // ========= BASE PANEL ==========
  22. // ===============================
  23. $panel-border-radius: null !default;
  24. $panel-border-width: 1px !default;
  25. $panel-base-color: adjust-color($base-color, $hue: 0deg, $saturation: 0.542%, $lightness: 7.843%) !default; //#DFE8F6
  26. $panel-border-color: adjust-color($base-color, $hue: 0deg, $saturation: 7.644%, $lightness: -8.627%) !default;
  27. // ===============================
  28. // ========= PANEL BODY ==========
  29. // ===============================
  30. $panel-body-border-style: solid !default;
  31. $panel-body-background-color: #fff !default;
  32. $panel-body-color: #000 !default;
  33. $panel-body-border-color: $panel-border-color !default;
  34. $panel-body-font-size: 12px !default;
  35. // ===============================
  36. // ======== PANEL TOOLS ==========
  37. // ===============================
  38. $tool-size: 15px !default;
  39. // ===============================
  40. // ======== PANEL HEADER =========
  41. // ===============================
  42. $panel-header-border-width: 1px !default;
  43. $panel-header-border-style: solid !default;
  44. $panel-header-inner-border: true !default;
  45. $panel-header-inner-border-width: 1px 0 0 !default;
  46. //padding
  47. $panel-header-padding: 3px 5px 4px !default;
  48. $panel-header-vertical-padding: 5px 4px !default;
  49. //fonts
  50. $panel-header-font-size: ceil($font-size * .9) !default; //11px
  51. $panel-header-line-height: 17px !default;
  52. $panel-header-font-weight: bold !default;
  53. $panel-header-font-family: $font-family !default;
  54. //icon
  55. $panel-header-icon-width: 16px !default;
  56. $panel-header-icon-height: 16px !default;
  57. //background
  58. $panel-header-background-gradient: 'panel-header' !default;
  59. // UI defaults
  60. $panel-header-border-color: $panel-border-color !default;
  61. $panel-header-inner-border-color: adjust-color($panel-base-color, $hue: 0deg, $saturation: -6.098%, $lightness: 4.902%) !default;
  62. $panel-header-color: adjust-color($panel-base-color, $hue: 0deg, $saturation: 38.347%, $lightness: -63.725%) !default;
  63. $panel-header-background-color: adjust-color($panel-base-color, $hue: 0deg, $saturation: 6.402%, $lightness: -4.51%) !default;
  64. // ===============================
  65. // ======== FRAMED PANEL =========
  66. // ===============================
  67. $frame-base-color: $panel-base-color !default;
  68. //border
  69. $panel-frame-border-radius: 4px !default;
  70. $panel-frame-border-width: 1px !default;
  71. $panel-frame-border-style: solid !default;
  72. $panel-frame-padding: 4px !default;
  73. // UI defaults
  74. $panel-frame-background-color: $frame-base-color !default;
  75. $panel-frame-border-color: $panel-border-color !default;
  76. </pre>
  77. </body>
  78. </html>