12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 |
- <!DOCTYPE html>
- <html>
- <head>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
- <title>The source code</title>
- <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
- <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
- <style type="text/css">
- .highlight { display: block; background-color: #ddd; }
- </style>
- <script type="text/javascript">
- function highlight() {
- document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
- }
- </script>
- </head>
- <body onload="prettyPrint(); highlight();">
- <pre class="prettyprint lang-js">$toolbar-font-size: ceil($font-size * .9) !default;
- $toolbar-background-color: adjust-color($base-color, $hue: -1.333deg, $saturation: -3.831%, $lightness: 4.51%) !default;
- $toolbar-background-gradient: color_stops(lighten($toolbar-background-color, 3), $toolbar-background-color) !default;
- $toolbar-inner-border-width: 1px 0px 0px !default;
- $toolbar-inner-border-color: lighten($toolbar-background-color, 5%) !default;
- //margins
- $toolbar-horizontal-spacing: 2px !default;
- $toolbar-vertical-spacing: 2px !default;
- $toolbar-footer-horizontal-spacing: 6px !default;
- $toolbar-footer-vertical-spacing: 2px !default;
- //border
- $toolbar-border-color: $panel-body-border-color !default;
- //spacer
- $toolbar-spacer-width: 2px !default;
- //separator
- $toolbar-separator-color: adjust-color($base-color, $hue: -1deg, $saturation: 100%, $lightness: -4.3%) !default;
- $toolbar-separator-highlight-color: #fff !default;
- //text
- $toolbar-text-font-family: $font-family !default;
- $toolbar-text-font-size: ceil($font-size * .9) !default; //11px
- $toolbar-text-font-weight: normal !default;
- $toolbar-text-color: mix($mix-color, #000, 30) !default;
- $toolbar-text-padding: 3px 4px 0 4px !default;
- $toolbar-text-line-height: 16px !default;</pre>
- </body>
- </html>
|