-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_dd-custom-variables.scss
59 lines (47 loc) · 1.9 KB
/
_dd-custom-variables.scss
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
$list-indent: 40px;
$list-item-offset: 20px;
$dl-indent: 20px;
$dd-indent: 40px;
$branding-base-padding: 12px;
$branding-xs-padding-vertical: 8px;
$branding-xs-padding-horizontal: $navbar-padding-horizontal;
$branding-margin: 0;
$branding-color: $global-branding-color;
$branding-bg: #333366;
$branding-logo-font-family: $headings-font-family;
$branding-logo-font-size: ceil($font-size-h1 * 1.1);
$branding-logo-font-size-sm: $branding-logo-font-size * 0.7;
$branding-logo-font-size-xs: $branding-logo-font-size * 0.5;
$branding-logo-color: $branding-color;
$branding-logo-opacity: 0.9;
$branding-logo-shadow: 2px 2px 3px rgba(255, 255, 255, 0.6);
$branding-strapline-font-family: 'Libre Baskerville', serif; // only italic supported for this font
$branding-strapline-color: $branding-color;
$branding-strapline-opacity: 0.6;
$branding-strapline-shadow: 4px 4px 9px rgba(255, 255, 255, 0.74);
$branding-strapline-letter-spacing: 2px;
$branding-strapline-font-size: 16px;
$page-margin-top: 12px;
$page-margin-bottom: 12px;
$pagefoot-color: #ffffff;
$pagefoot-bg: #333333;
$pagefoot-link-color: $pagefoot-color;
$pagefoot-credits-color: #aaaaaa;
$box-bg: $jumbotron-bg;
$box-color: $jumbotron-color;
$box-padding: 10px;
$box-margin-bottom: ceil($line-height-computed / 1.25);
$box-margin-top: ceil($line-height-computed / 1.25);
$box-font-size: ceil(($font-size-base * 1.2));
$box-strapline-font-size: $box-font-size;
$box-label-padding: 6px;
$sw-page-header-strapline-font-size: $font-size-base;
$font-family-glyph: "FontAwesome";
$table-head-bg: $pre-bg;
$frame-caption-bg: $pre-bg;
$samp-color: $kbd-color;
$samp-bg: darken($brand-primary, 8);
$navbar-item-padding-horizontal: 0;
$var-color: #aa1313;
$kwd-color: $var-color;
$table-caption-color: $text-muted;