annotate docs/assets/css/piecrust.scss @ 1188:a7c43131d871

bake: Fix file write flushing problem with Python 3.8+ Writing the cache files fails in Python 3.8 because it looks like flushing behaviour has changed. We need to explicitly flush. And even then, in very rare occurrences, it looks like it can still run into racing conditions, so we do a very hacky and ugly "retry" loop when fetching cached data :(
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 15 Jun 2021 22:36:23 -0700
parents e135fd873c45
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2 // Core variables and mixins
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
3 @import "bootstrap-reboot";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
4 @import "bootstrap-grid";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
5
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
6 // Components
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
7 @import "media";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
8 @import "nav";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
9 @import "navbar";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
10 @import "utilities";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
11
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
12
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
13 // Variables
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
14 //$font-size-base: 17px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
15
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
16
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
17 // Dividers
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
18 @mixin pc-divider-img($offsetx, $offsety) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
19 @media (min-width: map-get($grid-breakpoints, 'sm')) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
20 display: inline-block;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
21 content: " ";
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
22 background-image: url("../img/dividers.png");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
23 background-repeat: no-repeat;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
24 background-position: (-$offsetx) (-$offsety);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
25 width: 100px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
26 height: 50px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
27
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
28 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
29 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
30 @mixin pc-divider($offset) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
31 &::before {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
32 @include pc-divider-img(0, $offset);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
33 margin-right: 0.5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
34 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
35 &::after {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
36 @include pc-divider-img(100px, $offset);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
37 margin-left: 0.5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
38 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
39 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
40
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
41 @mixin pc-divider1() {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
42 @include pc-divider(0);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
43 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
44
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
45 @mixin pc-divider1-white() {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
46 @include pc-divider(50px);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
47 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
48
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
49 @mixin pc-divider2() {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
50 @include pc-divider(100px);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
51 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
52
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
53 @mixin pc-divider3() {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
54 @include pc-divider(150px);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
55 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
56
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
57
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
58 // Decorators
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
59 @mixin pc-banner($img-name) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
60 background-image: url($img-name);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
61 background-repeat: no-repeat;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
62 background-position: center center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
63 background-size: cover;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
64 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
65
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
66 @mixin pc-banner-header($img-name) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
67 @include pc-banner($img-name);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
68 margin-bottom: 3em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
69 text-align: center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
70 color: black;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
71 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
72
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
73 // Customizations
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
74 .navbar {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
75 padding: 0 1rem;
1084
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
76 background-color: rgba(255, 255, 255, 0.2);
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
77 text-shadow: #fff 0 0 1em, #fff 0 0 .1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
78
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
79 a {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
80 color: #000;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
81 padding: 1rem 1rem;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
82
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
83 &:hover {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
84 color: #fff;
1084
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
85 background: rgba(0, 0, 0, 0.8) !important;
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
86 text-shadow: #000 0 0 1em, #000 0 0 .1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
87 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
88 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
89 a.active {
1084
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
90 background: rgba(255, 255, 255, 0.4);
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
91 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
92 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
93 a.navbar-brand {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
94 font-family: Lobster, serif;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
95 padding: (1rem / 1.25) 1rem;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
96 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
97
1056
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
98 header {
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
99 padding: 3em 0;
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
100 }
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
101
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
102 h1 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
103 font-family: Lobster, serif;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
104 font-size: 2em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
105 margin-top: 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
106 margin-bottom: 0.375em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
107 text-shadow: #fff 0 0 1em, #fff 0 0 0.1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
108 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
109 h1.site-title {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
110 font-size: 5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
111 text-align: center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
112 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
113 @media (min-width: map-get($grid-breakpoints, "sm")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
114 h1 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
115 font-size: 3em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
116 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
117 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
118 @media (min-width: map-get($grid-breakpoints, "md")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
119 h1 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
120 font-size: 4em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
121 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
122 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
123
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
124 h2 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
125 font-family: Lobster, serif;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
126 font-size: 2.2em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
127 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
128
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
129 blockquote {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
130 font-size: $font-size-base;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
131 }
1075
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
132 $cake-icon-width: 128px;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
133 $cake-icon-height: 92px;
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
134 @media (min-width: map-get($grid-breakpoints, "md")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
135 blockquote {
1075
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
136 &::before {
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
137 content: " ";
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
138 background-image: url('../img/cake.png');
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
139 background-repeat: no-repeat;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
140 display: block;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
141 float: left;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
142 width: $cake-icon-width;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
143 height: $cake-icon-height;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
144 margin-left: -($cake-icon-width + 5px + $line-height-base);
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
145 }
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
146
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
147 background: #f6f6f6;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
148 box-shadow: 0 0 2px #ccc;
1ab49e6add4f docs: Tweak CSS style for block quotes.
Ludovic Chabant <ludovic@chabant.com>
parents: 1056
diff changeset
149 padding: 1em 1em 1em $cake-icon-width + 10px;
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
150 min-height: 126px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
151 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
152 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
153
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
154 header.page-title h1 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
155 @include pc-divider(150px);
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
156 text-align: center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
157 margin: 0.5em auto 1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
158 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
159
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
160 footer {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
161 font-size: 0.8em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
162 text-align: center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
163 margin: 2em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
164 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
165
1084
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
166 #content .highlight {
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
167 background-color: transparent;
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
168 }
e135fd873c45 docs: Cosmetic improvements to the navigation bar.
Ludovic Chabant <ludovic@chabant.com>
parents: 1075
diff changeset
169
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
170
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
171 // Splash-page
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
172 .pc-splash {
1056
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
173 header {
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
174 padding: 1em 0 0 0;
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
175 }
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
176 h2 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
177 @include pc-divider2();
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
178 margin: 1em 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
179 text-align: center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
180 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
181
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
182 .pc-splash-logo {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
183 background-image: url('../img/logo.png');
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
184 background-repeat: no-repeat;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
185 background-position: center center;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
186 background-size: contain;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
187 height: 275px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
188 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
189 @media (min-width: map-get($grid-breakpoints, "sm")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
190 .pc-splash-logo {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
191 height: 325px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
192 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
193 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
194 @media (min-width: map-get($grid-breakpoints, "md")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
195 .pc-splash-logo {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
196 height: 375px;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
197 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
198 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
199
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
200 .pc-splash-main {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
201 font-size: 1.1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
202 margin: 1em 0.5em 0 0.5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
203 padding-bottom: 2em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
204
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
205 p {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
206 margin: 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
207 text-shadow: #fff 0 0 1em, #fff 0 0 0.1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
208 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
209 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
210 @media (min-width: map-get($grid-breakpoints, "sm")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
211 .pc-splash-main {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
212 font-size: 1.3em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
213 margin: 1em 2em 0 2em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
214 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
215 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
216 @media (min-width: map-get($grid-breakpoints, "md")) {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
217 .pc-splash-main {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
218 font-size: 1.5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
219 width: 50%;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
220 margin: 1em auto 0 auto;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
221 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
222 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
223
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
224 .pc-splash-icon {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
225 display: block;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
226 margin: 0 auto;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
227 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
228 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
229 .pc-splash.pc-header-wrapper {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
230 @include pc-banner("../img/header2-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
231 color: black;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
232 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
233 .pc-splash.pc-splash-chalkboard {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
234 background: url("../img/chalkboard-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
235 color: white;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
236 padding: 0.25em 0 3em 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
237 margin: 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
238
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
239 h2 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
240 @include pc-divider1-white();
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
241 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
242 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
243
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
244
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
245 // Getting-Started
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
246 .pc-tutorial {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
247 @include pc-banner-header("../img/header5-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
248 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
249
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
250
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
251 // Documentation
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
252 .pc-documentation {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
253 @include pc-banner-header("../img/header10-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
254 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
255
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
256 @mixin pc-docnav() {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
257 list-style-type: none;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
258 padding: 0;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
259 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
260
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
261 ul.doc-level1 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
262 @include pc-docnav();
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
263
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
264 &>li {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
265 margin-bottom: 1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
266 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
267 &>li>a {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
268 font-size: 1.1em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
269 font-weight: bold;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
270 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
271
1056
f6b0c6fe6e47 docs: Style tweaks.
Ludovic Chabant <ludovic@chabant.com>
parents: 1053
diff changeset
272 $doc-link-active: darken($red, 10%);
1053
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
273 a.active {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
274 border-left: 3px solid $doc-link-active;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
275 padding-left: 0.5em;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
276 color: $doc-link-active;
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
277 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
278 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
279
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
280 ul.doc-level2 {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
281 @include pc-docnav();
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
282 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
283
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
284
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
285 // Code
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
286 .pc-code {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
287 @include pc-banner-header("../img/header7-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
288 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
289
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
290
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
291 // Support
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
292 .pc-support {
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
293 @include pc-banner-header("../img/header9-bg.jpg");
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
294 }
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
295
94d7d5e38571 docs: Upgrade to Bootstrap 4 and Sass.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
296