<!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"><span id='Global_CSS'>/**
|
</span> * @class Global_CSS
|
*/
|
|
<span id='Global_CSS-css_var-S-color'>/**
|
</span> * @var {color} $color
|
* The default text color to be used throughout the theme.
|
*/
|
$color: #000 !default;
|
|
<span id='Global_CSS-css_var-S-font-family'>/**
|
</span> * @var {string} $font-family
|
* The default font-family to be used throughout the theme.
|
*/
|
$font-family: helvetica, arial, verdana, sans-serif !default;
|
|
<span id='Global_CSS-css_var-S-font-size'>/**
|
</span> * @var {string} $font-size
|
* The default font-family to be used throughout the theme.
|
*/
|
$font-size: 13px !default;
|
|
<span id='Global_CSS-css_var-S-base-gradient'>/**
|
</span> * @var {string} $base-gradient
|
* The base gradient to be used throughout the theme.
|
*/
|
$base-gradient: 'matte' !default;
|
|
<span id='Global_CSS-css_var-S-base-color'>/**
|
</span> * @var {color} $base-color
|
* The base color to be used throughout the theme.
|
*/
|
$base-color: #808080 !default;
|
|
<span id='Global_CSS-css_var-S-neutral-color'>/**
|
</span> * @var {color} $neutral-color
|
* The neutral color to be used throughout the theme.
|
*/
|
$neutral-color: #dcdcdc !default;
|
|
// documented in ext-theme-base
|
$include-shadow-images: true !default;
|
|
<span id='Global_CSS-css_var-S-body-background-color'>/**
|
</span> * @var {color} $body-background-color
|
* Background color to apply to the body element
|
*/
|
$body-background-color: transparent !default;</pre>
|
</body>
|
</html>
|