forked from leanprover/reference-manual
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcolors.css
32 lines (30 loc) · 1.2 KB
/
colors.css
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
/* CSS variables for each Lean branding color */
:root {
/* Main color palette */
--lean-black: #000000;
--lean-white: #ffffff;
--lean-blue: #0073a3;
/* Accent color palette */
/* This light blue should only be used as a background, and any text
on it should be black to ensure sufficient contrast. */
--lean-accent-light-blue: #b0c5cd;
/* This orange should be used only as an accent in small amounts. No
small type. Bold subhead or larger for typography.*/
--lean-accent-orange: #f15732;
/* Non-branding colors */
/* These colors should never be used as actual brand colors, but they
are complementary to our colors and can be used for elements in
presentations or charts or other peripheral materials. They are
only to be used as an accent or a complementary design element,
never as Lean branding. */
--lean-compl-orangered: #F15732;
--lean-compl-yellow: #FDC05F;
--lean-compl-green: #699E88;
--lean-compl-bluegray: #A9C7C9;
--lean-compl-darkgray: #354140;
--lean-compl-gray: #96A0A5;
--lean-compl-pink: #F05665;
--lean-compl-lightpink: #F7A8B0;
--lean-compl-darkblue: #005E7D;
--lean-compl-turquoise: #48C6E2;
}