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">$tip-base-color: adjust-color($base-color, $hue: 2.121deg, $saturation: 44.444%, $lightness: 11.569%) !default;
- //background
- $tip-background-color: $tip-base-color !default;
- $tip-background-gradient: null !default;
- //text
- $tip-body-color : adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: -66.667%) !default;
- $tip-body-font-size : ceil($font-size * .9) !default;
- $tip-body-font-weight: normal !default;
- $tip-body-padding: 3px !default;
- $tip-body-link-color: darken($tip-body-color, 10%) !default;
- $tip-header-color : $tip-body-color !default;
- $tip-header-font-size : $tip-body-font-size !default;
- $tip-header-font-weight: bold !default;
- $tip-header-padding : 3px 3px 0 !default;
- //borders
- $tip-border-color: adjust-color($tip-base-color, $hue: -1.705deg, $saturation: -60.494%, $lightness: -27.451%) !default;
- $tip-border-width: 1px !default;
- $tip-border-radius: 3px !default;
- //error tips
- $tip-error-inner-border-color: #d87166 !default;
- $tip-error-border-color: #a1311f !default;
- $tip-error-border-radius: 5px !default;
- $tip-error-border-width: 1px !default;
- $tip-error-background-color: #fff !default;
- </pre>
- </body>
- </html>
|