<!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>