2013-02-06 03:16:51 +08:00
|
|
|
// --------------------------------------------------
|
|
|
|
// Variables used throughout the theme
|
|
|
|
// --------------------------------------------------
|
|
|
|
|
2014-02-10 14:04:21 +08:00
|
|
|
// Layout dimensions
|
|
|
|
// --------------------------------------------------
|
|
|
|
|
2014-07-10 07:56:35 +08:00
|
|
|
$small-width: 800px !default;
|
2014-02-10 14:04:21 +08:00
|
|
|
$medium-width: 995px !default;
|
|
|
|
$large-width: 1110px !default;
|
|
|
|
|
2014-05-07 11:53:04 +08:00
|
|
|
// Brand color variables
|
2014-02-10 14:04:21 +08:00
|
|
|
// --------------------------------------------------
|
|
|
|
|
|
|
|
$google: #5b76f7 !default;
|
|
|
|
$facebook: #3b5998 !default;
|
|
|
|
$cas: #70BA61 !default;
|
|
|
|
$twitter: #00bced !default;
|
|
|
|
$yahoo: #810293 !default;
|
|
|
|
$github: #6d6d6d !default;
|
|
|
|
|
2015-08-20 01:27:17 +08:00
|
|
|
|
2014-03-27 09:16:41 +08:00
|
|
|
// Fonts
|
2013-02-06 03:16:51 +08:00
|
|
|
// --------------------------------------------------
|
|
|
|
|
2014-12-16 22:24:15 +08:00
|
|
|
$base-font-size: 14px !default;
|
2015-04-24 01:33:29 +08:00
|
|
|
$base-line-height: 19px !default;
|
2014-04-07 08:06:55 +08:00
|
|
|
$base-font-family: Helvetica, Arial, sans-serif !default;
|
2013-02-06 03:16:51 +08:00
|
|
|
|
2014-05-03 05:46:03 +08:00
|
|
|
/* These files don't actually exist. They're injected by DiscourseSassImporter. */
|
|
|
|
@import "theme_variables";
|
2014-04-25 16:26:37 +08:00
|
|
|
@import "plugins_variables";
|
2014-05-19 13:17:59 +08:00
|
|
|
|
2015-04-24 01:33:29 +08:00
|
|
|
// w3c definition of color brightness
|
2014-08-06 21:31:13 +08:00
|
|
|
@function brightness($color) {
|
2015-04-24 01:33:29 +08:00
|
|
|
@return ((red($color) * .299) + (green($color) * .587) + (blue($color) * .114));
|
2014-08-06 21:31:13 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
@function dark-light-diff($adjusted-color, $comparison-color, $lightness, $darkness) {
|
|
|
|
@if brightness($adjusted-color) < brightness($comparison-color) {
|
2015-04-24 01:33:29 +08:00
|
|
|
@return scale-color($adjusted-color, $lightness: $lightness);
|
2014-08-06 21:31:13 +08:00
|
|
|
} @else {
|
2015-04-24 01:33:29 +08:00
|
|
|
@return scale-color($adjusted-color, $lightness: $darkness);
|
2014-08-06 21:31:13 +08:00
|
|
|
}
|
|
|
|
}
|
2015-08-19 03:23:06 +08:00
|
|
|
@function dark-light-choose($light-theme-result, $dark-theme-result) {
|
|
|
|
@if brightness($primary) < brightness($secondary) {
|
|
|
|
@return $light-theme-result;
|
|
|
|
} @else {
|
|
|
|
@return $dark-theme-result;
|
|
|
|
}
|
|
|
|
}
|