Newer
Older
---
---
/*
Bundles all the custom CSS fragments used on all the HIFIS pages.
The include order is chosen so earlier includes satisfy the dependencies of
later includes.
*/
/* === Boilerplate === */
/* --- w/o dependencies --- */
@import "boilerplate/breakpoints";
@import "boilerplate/colors";
@import "boilerplate/responsive";
/* --- with dependencies --- */
@import "boilerplate/measurements";
@import "boilerplate/mixins";
/* === Vendors === */
/* --- Bootstrap --- */
@import "bootstrap_variables";
@import "assets/vendor/bootstrap/scss/functions";
@import "assets/vendor/bootstrap/scss/variables";
@import "assets/vendor/bootstrap/scss/mixins";
@import "assets/vendor/bootstrap/scss/utilities";
@import "assets/vendor/bootstrap/scss/alert";
@import "assets/vendor/bootstrap/scss/badge";
@import "assets/vendor/bootstrap/scss/buttons";
@import "assets/vendor/bootstrap/scss/card";
@import "assets/vendor/bootstrap/scss/close";
@import "assets/vendor/bootstrap/scss/forms";
@import "assets/vendor/bootstrap/scss/jumbotron";
@import "assets/vendor/bootstrap/scss/toasts";
@import "assets/vendor/bootstrap/scss/tooltip";
/* --- Generated --- */
@import url(syntax_highlighting_monokai.css);
/* === Actual styling === */
@import "common/article";
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
@import "common/digest";
@import "common/event";
@import "common/footer";
@import "common/general";
@import "common/header";
@import "common/jumbotron";
@import "common/main";
@import "common/pagination";
@import "common/title";
@import "common/transitions";
@import "blogposts/markdown";
@import "blogposts/metadata";
/*
Team cards exist in three versions:
NORMAL is a short description of the person with
* name,
* organization abbreviation,
* picture and
* position
Intended usage: Team page
HEAD is just the name and organization abbreviation
Intended usage: Digests, Inline references
FULL is a dedicated page containing all the information about the
person and organization.
*/
@import "profiles/general";
@import "profiles/organization";
@import "profiles/team-card-mini";
@import "profiles/team-card-normal";
@import "profiles/team-card-full";
@import "profiles/team-list";
@import "upcoming_events_list";
/* ---------- styles for roadmap page ---------- */
@import "roadmap/roadmap";