lab_pages 0.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (116) hide show
  1. checksums.yaml +7 -0
  2. data/LICENSE.txt +21 -0
  3. data/README.md +44 -0
  4. data/_data/affiliations.yml +9 -0
  5. data/_data/alumni.yml +8 -0
  6. data/_data/current_lab.yml +15 -0
  7. data/_data/navigation.yml +12 -0
  8. data/_data/news.yml +8 -0
  9. data/_data/projects.yml +3 -0
  10. data/_data/resources.yml +5 -0
  11. data/_includes/carousel.html +30 -0
  12. data/_layouts/default.html +72 -0
  13. data/_layouts/home.html +35 -0
  14. data/_layouts/paper.html +29 -0
  15. data/_sass/_bootstrap.scss +56 -0
  16. data/_sass/bootstrap/_alerts.scss +73 -0
  17. data/_sass/bootstrap/_badges.scss +68 -0
  18. data/_sass/bootstrap/_breadcrumbs.scss +28 -0
  19. data/_sass/bootstrap/_button-groups.scss +244 -0
  20. data/_sass/bootstrap/_buttons.scss +168 -0
  21. data/_sass/bootstrap/_carousel.scss +270 -0
  22. data/_sass/bootstrap/_close.scss +36 -0
  23. data/_sass/bootstrap/_code.scss +69 -0
  24. data/_sass/bootstrap/_component-animations.scss +37 -0
  25. data/_sass/bootstrap/_dropdowns.scss +216 -0
  26. data/_sass/bootstrap/_forms.scss +617 -0
  27. data/_sass/bootstrap/_glyphicons.scss +307 -0
  28. data/_sass/bootstrap/_grid.scss +84 -0
  29. data/_sass/bootstrap/_input-groups.scss +171 -0
  30. data/_sass/bootstrap/_jumbotron.scss +54 -0
  31. data/_sass/bootstrap/_labels.scss +66 -0
  32. data/_sass/bootstrap/_list-group.scss +130 -0
  33. data/_sass/bootstrap/_media.scss +66 -0
  34. data/_sass/bootstrap/_mixins.scss +40 -0
  35. data/_sass/bootstrap/_modals.scss +150 -0
  36. data/_sass/bootstrap/_navbar.scss +662 -0
  37. data/_sass/bootstrap/_navs.scss +242 -0
  38. data/_sass/bootstrap/_normalize.scss +424 -0
  39. data/_sass/bootstrap/_pager.scss +54 -0
  40. data/_sass/bootstrap/_pagination.scss +89 -0
  41. data/_sass/bootstrap/_panels.scss +271 -0
  42. data/_sass/bootstrap/_popovers.scss +131 -0
  43. data/_sass/bootstrap/_print.scss +101 -0
  44. data/_sass/bootstrap/_progress-bars.scss +87 -0
  45. data/_sass/bootstrap/_responsive-embed.scss +35 -0
  46. data/_sass/bootstrap/_responsive-utilities.scss +179 -0
  47. data/_sass/bootstrap/_scaffolding.scss +161 -0
  48. data/_sass/bootstrap/_tables.scss +234 -0
  49. data/_sass/bootstrap/_theme.scss +291 -0
  50. data/_sass/bootstrap/_thumbnails.scss +38 -0
  51. data/_sass/bootstrap/_tooltip.scss +101 -0
  52. data/_sass/bootstrap/_type.scss +298 -0
  53. data/_sass/bootstrap/_utilities.scss +55 -0
  54. data/_sass/bootstrap/_variables.scss +874 -0
  55. data/_sass/bootstrap/_wells.scss +29 -0
  56. data/_sass/bootstrap/mixins/_alerts.scss +14 -0
  57. data/_sass/bootstrap/mixins/_background-variant.scss +12 -0
  58. data/_sass/bootstrap/mixins/_border-radius.scss +18 -0
  59. data/_sass/bootstrap/mixins/_buttons.scss +65 -0
  60. data/_sass/bootstrap/mixins/_center-block.scss +7 -0
  61. data/_sass/bootstrap/mixins/_clearfix.scss +22 -0
  62. data/_sass/bootstrap/mixins/_forms.scss +88 -0
  63. data/_sass/bootstrap/mixins/_gradients.scss +58 -0
  64. data/_sass/bootstrap/mixins/_grid-framework.scss +81 -0
  65. data/_sass/bootstrap/mixins/_grid.scss +122 -0
  66. data/_sass/bootstrap/mixins/_hide-text.scss +21 -0
  67. data/_sass/bootstrap/mixins/_image.scss +33 -0
  68. data/_sass/bootstrap/mixins/_labels.scss +12 -0
  69. data/_sass/bootstrap/mixins/_list-group.scss +32 -0
  70. data/_sass/bootstrap/mixins/_nav-divider.scss +10 -0
  71. data/_sass/bootstrap/mixins/_nav-vertical-align.scss +9 -0
  72. data/_sass/bootstrap/mixins/_opacity.scss +8 -0
  73. data/_sass/bootstrap/mixins/_pagination.scss +24 -0
  74. data/_sass/bootstrap/mixins/_panels.scss +24 -0
  75. data/_sass/bootstrap/mixins/_progress-bar.scss +10 -0
  76. data/_sass/bootstrap/mixins/_reset-filter.scss +8 -0
  77. data/_sass/bootstrap/mixins/_reset-text.scss +18 -0
  78. data/_sass/bootstrap/mixins/_resize.scss +6 -0
  79. data/_sass/bootstrap/mixins/_responsive-visibility.scss +21 -0
  80. data/_sass/bootstrap/mixins/_size.scss +10 -0
  81. data/_sass/bootstrap/mixins/_tab-focus.scss +9 -0
  82. data/_sass/bootstrap/mixins/_table-row.scss +28 -0
  83. data/_sass/bootstrap/mixins/_text-emphasis.scss +12 -0
  84. data/_sass/bootstrap/mixins/_text-overflow.scss +8 -0
  85. data/_sass/bootstrap/mixins/_vendor-prefixes.scss +222 -0
  86. data/_sass/jekyll-theme-lab_pages.scss +506 -0
  87. data/_sass/rouge-base16-dark.scss +81 -0
  88. data/assets/css/print.css +229 -0
  89. data/assets/css/style.scss +4 -0
  90. data/assets/fonts/bootstrap/glyphicons-halflings-regular.eot +0 -0
  91. data/assets/fonts/bootstrap/glyphicons-halflings-regular.svg +288 -0
  92. data/assets/fonts/bootstrap/glyphicons-halflings-regular.ttf +0 -0
  93. data/assets/fonts/bootstrap/glyphicons-halflings-regular.woff +0 -0
  94. data/assets/fonts/bootstrap/glyphicons-halflings-regular.woff2 +0 -0
  95. data/assets/images/carousel/slide-1.png +0 -0
  96. data/assets/images/carousel/slide-2.png +0 -0
  97. data/assets/images/hr.png +0 -0
  98. data/assets/images/logo.png +0 -0
  99. data/assets/javascript/bootstrap.js +2377 -0
  100. data/assets/javascript/bootstrap.min.js +7 -0
  101. data/assets/javascript/bootstrap/affix.js +162 -0
  102. data/assets/javascript/bootstrap/alert.js +94 -0
  103. data/assets/javascript/bootstrap/button.js +125 -0
  104. data/assets/javascript/bootstrap/carousel.js +237 -0
  105. data/assets/javascript/bootstrap/collapse.js +212 -0
  106. data/assets/javascript/bootstrap/dropdown.js +165 -0
  107. data/assets/javascript/bootstrap/modal.js +339 -0
  108. data/assets/javascript/bootstrap/popover.js +108 -0
  109. data/assets/javascript/bootstrap/scrollspy.js +172 -0
  110. data/assets/javascript/bootstrap/tab.js +155 -0
  111. data/assets/javascript/bootstrap/tooltip.js +520 -0
  112. data/assets/javascript/bootstrap/transition.js +59 -0
  113. data/assets/javascript/jquery-3.3.1.min.js +2 -0
  114. data/papers/_posts/2017-01-10-slayer_paper.md +15 -0
  115. data/papers/index.html +22 -0
  116. metadata +256 -0
@@ -0,0 +1,68 @@
1
+ //
2
+ // Badges
3
+ // --------------------------------------------------
4
+
5
+
6
+ // Base class
7
+ .badge {
8
+ display: inline-block;
9
+ min-width: 10px;
10
+ padding: 3px 7px;
11
+ font-size: $font-size-small;
12
+ font-weight: $badge-font-weight;
13
+ color: $badge-color;
14
+ line-height: $badge-line-height;
15
+ vertical-align: middle;
16
+ white-space: nowrap;
17
+ text-align: center;
18
+ background-color: $badge-bg;
19
+ border-radius: $badge-border-radius;
20
+
21
+ // Empty badges collapse automatically (not available in IE8)
22
+ &:empty {
23
+ display: none;
24
+ }
25
+
26
+ // Quick fix for badges in buttons
27
+ .btn & {
28
+ position: relative;
29
+ top: -1px;
30
+ }
31
+
32
+ .btn-xs &,
33
+ .btn-group-xs > .btn & {
34
+ top: 0;
35
+ padding: 1px 5px;
36
+ }
37
+
38
+ // [converter] extracted a& to a.badge
39
+
40
+ // Account for badges in navs
41
+ .list-group-item.active > &,
42
+ .nav-pills > .active > a > & {
43
+ color: $badge-active-color;
44
+ background-color: $badge-active-bg;
45
+ }
46
+
47
+ .list-group-item > & {
48
+ float: right;
49
+ }
50
+
51
+ .list-group-item > & + & {
52
+ margin-right: 5px;
53
+ }
54
+
55
+ .nav-pills > li > a > & {
56
+ margin-left: 3px;
57
+ }
58
+ }
59
+
60
+ // Hover state, but only for links
61
+ a.badge {
62
+ &:hover,
63
+ &:focus {
64
+ color: $badge-link-hover-color;
65
+ text-decoration: none;
66
+ cursor: pointer;
67
+ }
68
+ }
@@ -0,0 +1,28 @@
1
+ //
2
+ // Breadcrumbs
3
+ // --------------------------------------------------
4
+
5
+
6
+ .breadcrumb {
7
+ padding: $breadcrumb-padding-vertical $breadcrumb-padding-horizontal;
8
+ margin-bottom: $line-height-computed;
9
+ list-style: none;
10
+ background-color: $breadcrumb-bg;
11
+ border-radius: $border-radius-base;
12
+
13
+ > li {
14
+ display: inline-block;
15
+
16
+ + li:before {
17
+ // [converter] Workaround for https://github.com/sass/libsass/issues/1115
18
+ $nbsp: "\00a0";
19
+ content: "#{$breadcrumb-separator}#{$nbsp}"; // Unicode space added since inline-block means non-collapsing white-space
20
+ padding: 0 5px;
21
+ color: $breadcrumb-color;
22
+ }
23
+ }
24
+
25
+ > .active {
26
+ color: $breadcrumb-active-color;
27
+ }
28
+ }
@@ -0,0 +1,244 @@
1
+ //
2
+ // Button groups
3
+ // --------------------------------------------------
4
+
5
+ // Make the div behave like a button
6
+ .btn-group,
7
+ .btn-group-vertical {
8
+ position: relative;
9
+ display: inline-block;
10
+ vertical-align: middle; // match .btn alignment given font-size hack above
11
+ > .btn {
12
+ position: relative;
13
+ float: left;
14
+ // Bring the "active" button to the front
15
+ &:hover,
16
+ &:focus,
17
+ &:active,
18
+ &.active {
19
+ z-index: 2;
20
+ }
21
+ }
22
+ }
23
+
24
+ // Prevent double borders when buttons are next to each other
25
+ .btn-group {
26
+ .btn + .btn,
27
+ .btn + .btn-group,
28
+ .btn-group + .btn,
29
+ .btn-group + .btn-group {
30
+ margin-left: -1px;
31
+ }
32
+ }
33
+
34
+ // Optional: Group multiple button groups together for a toolbar
35
+ .btn-toolbar {
36
+ margin-left: -5px; // Offset the first child's margin
37
+ @include clearfix;
38
+
39
+ .btn,
40
+ .btn-group,
41
+ .input-group {
42
+ float: left;
43
+ }
44
+ > .btn,
45
+ > .btn-group,
46
+ > .input-group {
47
+ margin-left: 5px;
48
+ }
49
+ }
50
+
51
+ .btn-group > .btn:not(:first-child):not(:last-child):not(.dropdown-toggle) {
52
+ border-radius: 0;
53
+ }
54
+
55
+ // Set corners individual because sometimes a single button can be in a .btn-group and we need :first-child and :last-child to both match
56
+ .btn-group > .btn:first-child {
57
+ margin-left: 0;
58
+ &:not(:last-child):not(.dropdown-toggle) {
59
+ @include border-right-radius(0);
60
+ }
61
+ }
62
+ // Need .dropdown-toggle since :last-child doesn't apply, given that a .dropdown-menu is used immediately after it
63
+ .btn-group > .btn:last-child:not(:first-child),
64
+ .btn-group > .dropdown-toggle:not(:first-child) {
65
+ @include border-left-radius(0);
66
+ }
67
+
68
+ // Custom edits for including btn-groups within btn-groups (useful for including dropdown buttons within a btn-group)
69
+ .btn-group > .btn-group {
70
+ float: left;
71
+ }
72
+ .btn-group > .btn-group:not(:first-child):not(:last-child) > .btn {
73
+ border-radius: 0;
74
+ }
75
+ .btn-group > .btn-group:first-child:not(:last-child) {
76
+ > .btn:last-child,
77
+ > .dropdown-toggle {
78
+ @include border-right-radius(0);
79
+ }
80
+ }
81
+ .btn-group > .btn-group:last-child:not(:first-child) > .btn:first-child {
82
+ @include border-left-radius(0);
83
+ }
84
+
85
+ // On active and open, don't show outline
86
+ .btn-group .dropdown-toggle:active,
87
+ .btn-group.open .dropdown-toggle {
88
+ outline: 0;
89
+ }
90
+
91
+
92
+ // Sizing
93
+ //
94
+ // Remix the default button sizing classes into new ones for easier manipulation.
95
+
96
+ .btn-group-xs > .btn { @extend .btn-xs; }
97
+ .btn-group-sm > .btn { @extend .btn-sm; }
98
+ .btn-group-lg > .btn { @extend .btn-lg; }
99
+
100
+
101
+ // Split button dropdowns
102
+ // ----------------------
103
+
104
+ // Give the line between buttons some depth
105
+ .btn-group > .btn + .dropdown-toggle {
106
+ padding-left: 8px;
107
+ padding-right: 8px;
108
+ }
109
+ .btn-group > .btn-lg + .dropdown-toggle {
110
+ padding-left: 12px;
111
+ padding-right: 12px;
112
+ }
113
+
114
+ // The clickable button for toggling the menu
115
+ // Remove the gradient and set the same inset shadow as the :active state
116
+ .btn-group.open .dropdown-toggle {
117
+ @include box-shadow(inset 0 3px 5px rgba(0,0,0,.125));
118
+
119
+ // Show no shadow for `.btn-link` since it has no other button styles.
120
+ &.btn-link {
121
+ @include box-shadow(none);
122
+ }
123
+ }
124
+
125
+
126
+ // Reposition the caret
127
+ .btn .caret {
128
+ margin-left: 0;
129
+ }
130
+ // Carets in other button sizes
131
+ .btn-lg .caret {
132
+ border-width: $caret-width-large $caret-width-large 0;
133
+ border-bottom-width: 0;
134
+ }
135
+ // Upside down carets for .dropup
136
+ .dropup .btn-lg .caret {
137
+ border-width: 0 $caret-width-large $caret-width-large;
138
+ }
139
+
140
+
141
+ // Vertical button groups
142
+ // ----------------------
143
+
144
+ .btn-group-vertical {
145
+ > .btn,
146
+ > .btn-group,
147
+ > .btn-group > .btn {
148
+ display: block;
149
+ float: none;
150
+ width: 100%;
151
+ max-width: 100%;
152
+ }
153
+
154
+ // Clear floats so dropdown menus can be properly placed
155
+ > .btn-group {
156
+ @include clearfix;
157
+ > .btn {
158
+ float: none;
159
+ }
160
+ }
161
+
162
+ > .btn + .btn,
163
+ > .btn + .btn-group,
164
+ > .btn-group + .btn,
165
+ > .btn-group + .btn-group {
166
+ margin-top: -1px;
167
+ margin-left: 0;
168
+ }
169
+ }
170
+
171
+ .btn-group-vertical > .btn {
172
+ &:not(:first-child):not(:last-child) {
173
+ border-radius: 0;
174
+ }
175
+ &:first-child:not(:last-child) {
176
+ @include border-top-radius($btn-border-radius-base);
177
+ @include border-bottom-radius(0);
178
+ }
179
+ &:last-child:not(:first-child) {
180
+ @include border-top-radius(0);
181
+ @include border-bottom-radius($btn-border-radius-base);
182
+ }
183
+ }
184
+ .btn-group-vertical > .btn-group:not(:first-child):not(:last-child) > .btn {
185
+ border-radius: 0;
186
+ }
187
+ .btn-group-vertical > .btn-group:first-child:not(:last-child) {
188
+ > .btn:last-child,
189
+ > .dropdown-toggle {
190
+ @include border-bottom-radius(0);
191
+ }
192
+ }
193
+ .btn-group-vertical > .btn-group:last-child:not(:first-child) > .btn:first-child {
194
+ @include border-top-radius(0);
195
+ }
196
+
197
+
198
+ // Justified button groups
199
+ // ----------------------
200
+
201
+ .btn-group-justified {
202
+ display: table;
203
+ width: 100%;
204
+ table-layout: fixed;
205
+ border-collapse: separate;
206
+ > .btn,
207
+ > .btn-group {
208
+ float: none;
209
+ display: table-cell;
210
+ width: 1%;
211
+ }
212
+ > .btn-group .btn {
213
+ width: 100%;
214
+ }
215
+
216
+ > .btn-group .dropdown-menu {
217
+ left: auto;
218
+ }
219
+ }
220
+
221
+
222
+ // Checkbox and radio options
223
+ //
224
+ // In order to support the browser's form validation feedback, powered by the
225
+ // `required` attribute, we have to "hide" the inputs via `clip`. We cannot use
226
+ // `display: none;` or `visibility: hidden;` as that also hides the popover.
227
+ // Simply visually hiding the inputs via `opacity` would leave them clickable in
228
+ // certain cases which is prevented by using `clip` and `pointer-events`.
229
+ // This way, we ensure a DOM element is visible to position the popover from.
230
+ //
231
+ // See https://github.com/twbs/bootstrap/pull/12794 and
232
+ // https://github.com/twbs/bootstrap/pull/14559 for more information.
233
+
234
+ [data-toggle="buttons"] {
235
+ > .btn,
236
+ > .btn-group > .btn {
237
+ input[type="radio"],
238
+ input[type="checkbox"] {
239
+ position: absolute;
240
+ clip: rect(0,0,0,0);
241
+ pointer-events: none;
242
+ }
243
+ }
244
+ }
@@ -0,0 +1,168 @@
1
+ //
2
+ // Buttons
3
+ // --------------------------------------------------
4
+
5
+
6
+ // Base styles
7
+ // --------------------------------------------------
8
+
9
+ .btn {
10
+ display: inline-block;
11
+ margin-bottom: 0; // For input.btn
12
+ font-weight: $btn-font-weight;
13
+ text-align: center;
14
+ vertical-align: middle;
15
+ touch-action: manipulation;
16
+ cursor: pointer;
17
+ background-image: none; // Reset unusual Firefox-on-Android default style; see https://github.com/necolas/normalize.css/issues/214
18
+ border: 1px solid transparent;
19
+ white-space: nowrap;
20
+ @include button-size($padding-base-vertical, $padding-base-horizontal, $font-size-base, $line-height-base, $btn-border-radius-base);
21
+ @include user-select(none);
22
+
23
+ &,
24
+ &:active,
25
+ &.active {
26
+ &:focus,
27
+ &.focus {
28
+ @include tab-focus;
29
+ }
30
+ }
31
+
32
+ &:hover,
33
+ &:focus,
34
+ &.focus {
35
+ color: $btn-default-color;
36
+ text-decoration: none;
37
+ }
38
+
39
+ &:active,
40
+ &.active {
41
+ outline: 0;
42
+ background-image: none;
43
+ @include box-shadow(inset 0 3px 5px rgba(0,0,0,.125));
44
+ }
45
+
46
+ &.disabled,
47
+ &[disabled],
48
+ fieldset[disabled] & {
49
+ cursor: $cursor-disabled;
50
+ @include opacity(.65);
51
+ @include box-shadow(none);
52
+ }
53
+
54
+ // [converter] extracted a& to a.btn
55
+ }
56
+
57
+ a.btn {
58
+ &.disabled,
59
+ fieldset[disabled] & {
60
+ pointer-events: none; // Future-proof disabling of clicks on `<a>` elements
61
+ }
62
+ }
63
+
64
+
65
+ // Alternate buttons
66
+ // --------------------------------------------------
67
+
68
+ .btn-default {
69
+ @include button-variant($btn-default-color, $btn-default-bg, $btn-default-border);
70
+ }
71
+ .btn-primary {
72
+ @include button-variant($btn-primary-color, $btn-primary-bg, $btn-primary-border);
73
+ }
74
+ // Success appears as green
75
+ .btn-success {
76
+ @include button-variant($btn-success-color, $btn-success-bg, $btn-success-border);
77
+ }
78
+ // Info appears as blue-green
79
+ .btn-info {
80
+ @include button-variant($btn-info-color, $btn-info-bg, $btn-info-border);
81
+ }
82
+ // Warning appears as orange
83
+ .btn-warning {
84
+ @include button-variant($btn-warning-color, $btn-warning-bg, $btn-warning-border);
85
+ }
86
+ // Danger and error appear as red
87
+ .btn-danger {
88
+ @include button-variant($btn-danger-color, $btn-danger-bg, $btn-danger-border);
89
+ }
90
+
91
+
92
+ // Link buttons
93
+ // -------------------------
94
+
95
+ // Make a button look and behave like a link
96
+ .btn-link {
97
+ color: $link-color;
98
+ font-weight: normal;
99
+ border-radius: 0;
100
+
101
+ &,
102
+ &:active,
103
+ &.active,
104
+ &[disabled],
105
+ fieldset[disabled] & {
106
+ background-color: transparent;
107
+ @include box-shadow(none);
108
+ }
109
+ &,
110
+ &:hover,
111
+ &:focus,
112
+ &:active {
113
+ border-color: transparent;
114
+ }
115
+ &:hover,
116
+ &:focus {
117
+ color: $link-hover-color;
118
+ text-decoration: $link-hover-decoration;
119
+ background-color: transparent;
120
+ }
121
+ &[disabled],
122
+ fieldset[disabled] & {
123
+ &:hover,
124
+ &:focus {
125
+ color: $btn-link-disabled-color;
126
+ text-decoration: none;
127
+ }
128
+ }
129
+ }
130
+
131
+
132
+ // Button Sizes
133
+ // --------------------------------------------------
134
+
135
+ .btn-lg {
136
+ // line-height: ensure even-numbered height of button next to large input
137
+ @include button-size($padding-large-vertical, $padding-large-horizontal, $font-size-large, $line-height-large, $btn-border-radius-large);
138
+ }
139
+ .btn-sm {
140
+ // line-height: ensure proper height of button next to small input
141
+ @include button-size($padding-small-vertical, $padding-small-horizontal, $font-size-small, $line-height-small, $btn-border-radius-small);
142
+ }
143
+ .btn-xs {
144
+ @include button-size($padding-xs-vertical, $padding-xs-horizontal, $font-size-small, $line-height-small, $btn-border-radius-small);
145
+ }
146
+
147
+
148
+ // Block button
149
+ // --------------------------------------------------
150
+
151
+ .btn-block {
152
+ display: block;
153
+ width: 100%;
154
+ }
155
+
156
+ // Vertically space out multiple block buttons
157
+ .btn-block + .btn-block {
158
+ margin-top: 5px;
159
+ }
160
+
161
+ // Specificity overrides
162
+ input[type="submit"],
163
+ input[type="reset"],
164
+ input[type="button"] {
165
+ &.btn-block {
166
+ width: 100%;
167
+ }
168
+ }