| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- <!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">//backgrounds
- $menu-background-color: #F0F0F0 !default;
- $menu-item-active-background-image: 'menu/menu-item-active-bg.gif' !default;
- $menu-item-active-background-color: adjust-color($base-color, $saturation: 25.397%, $lightness: 7.647%) !default;
- //border
- $menu-item-active-border-color: adjust-color($base-color, $saturation: 23%, $lightness: -3%) !default;
- $menu-separator-border-color: #E0E0E0 !default;
- $menu-separator-background-color: #FFF !default;
- //sizes
- $menu-item-indent: 27px !default;
- $menu-padding: 2px !default;
- $menu-link-padding: 6px 2px 3px 32px !default;
- //text
- $menu-text-color: #222 !default;
- //icons
- $menu-icon-arrow: 'menu/menu-parent.gif' !default;
- $menu-icon-checked: 'menu/checked.gif' !default;
- $menu-icon-group-checked: 'menu/group-checked.gif' !default;
- $menu-icon-unchecked: 'menu/unchecked.gif' !default;</pre>
- </body>
- </html>
|
