programming-pages 0.5.8

Sign up to get free protection for your applications and to get access to all the features.
Files changed (74) hide show
  1. checksums.yaml +7 -0
  2. data/CODE_OF_CONDUCT.md +46 -0
  3. data/CONTRIBUTING.md +15 -0
  4. data/LICENSE +21 -0
  5. data/README.md +157 -0
  6. data/_config.yml +40 -0
  7. data/_data/icons/theme.yml +73 -0
  8. data/_includes/elements/attribution.html +28 -0
  9. data/_includes/elements/help.html +24 -0
  10. data/_includes/elements/indices.html +225 -0
  11. data/_includes/elements/search.html +7 -0
  12. data/_includes/elements/title.html +8 -0
  13. data/_includes/icon.liquid +22 -0
  14. data/_includes/ordered_child_list.liquid +48 -0
  15. data/_includes/package_shortener.liquid +29 -0
  16. data/_includes/scripts/example.js +7 -0
  17. data/_includes/scripts/help.js +10 -0
  18. data/_includes/scripts/indices.js +17 -0
  19. data/_includes/scripts/jquery/jquery-3.3.1.custom.min.js +2 -0
  20. data/_includes/scripts/jquery-address/jquery-address-1.6.semantic-ui.min.js +3 -0
  21. data/_includes/scripts/loadcss/loadcss-2.0.1.min.js +2 -0
  22. data/_includes/scripts/mousetrap/mousetrap-1.6.1.min.js +11 -0
  23. data/_includes/scripts/page.js +37 -0
  24. data/_includes/scripts/search.js +30 -0
  25. data/_includes/scripts/semantic-ui/_version.js +5 -0
  26. data/_includes/scripts/semantic-ui/dimmer.min.js +1 -0
  27. data/_includes/scripts/semantic-ui/modal.min.js +1 -0
  28. data/_includes/scripts/semantic-ui/search.min.js +1 -0
  29. data/_includes/scripts/semantic-ui/sidebar.min.js +1 -0
  30. data/_includes/scripts/semantic-ui/site.min.js +1 -0
  31. data/_includes/scripts/semantic-ui/state.min.js +1 -0
  32. data/_includes/scripts/semantic-ui/sticky.min.js +1 -0
  33. data/_includes/scripts/semantic-ui/tab.min.js +1 -0
  34. data/_includes/scripts/semantic-ui/transition.min.js +1 -0
  35. data/_includes/styles/semantic-ui/_version.css +5 -0
  36. data/_includes/styles/semantic-ui/breadcrumb.min.css +1 -0
  37. data/_includes/styles/semantic-ui/container.min.css +1 -0
  38. data/_includes/styles/semantic-ui/dimmer.min.css +1 -0
  39. data/_includes/styles/semantic-ui/divider.min.css +1 -0
  40. data/_includes/styles/semantic-ui/grid.min.css +1 -0
  41. data/_includes/styles/semantic-ui/header.min.css +1 -0
  42. data/_includes/styles/semantic-ui/image.min.css +1 -0
  43. data/_includes/styles/semantic-ui/input.min.css +1 -0
  44. data/_includes/styles/semantic-ui/item.min.css +1 -0
  45. data/_includes/styles/semantic-ui/label.min.css +1 -0
  46. data/_includes/styles/semantic-ui/list.min.css +1 -0
  47. data/_includes/styles/semantic-ui/menu.min.css +1 -0
  48. data/_includes/styles/semantic-ui/message.min.css +1 -0
  49. data/_includes/styles/semantic-ui/modal.min.css +1 -0
  50. data/_includes/styles/semantic-ui/rail.min.css +1 -0
  51. data/_includes/styles/semantic-ui/reset.min.css +1 -0
  52. data/_includes/styles/semantic-ui/search.min.css +1 -0
  53. data/_includes/styles/semantic-ui/segment.min.css +1 -0
  54. data/_includes/styles/semantic-ui/sidebar.min.css +1 -0
  55. data/_includes/styles/semantic-ui/site.min.css +1 -0
  56. data/_includes/styles/semantic-ui/sticky.min.css +1 -0
  57. data/_includes/styles/semantic-ui/tab.min.css +1 -0
  58. data/_includes/styles/semantic-ui/table.min.css +1 -0
  59. data/_includes/styles/semantic-ui/transition.min.css +1 -0
  60. data/_includes/styles/svg-icons.css +520 -0
  61. data/_includes/styles/tweaks.css +195 -0
  62. data/_includes/themes/syntax.css +84 -0
  63. data/_layouts/base.html +26 -0
  64. data/_layouts/compress.html +51 -0
  65. data/_layouts/example.html +43 -0
  66. data/_layouts/guide-index.html +14 -0
  67. data/_layouts/layout.html +70 -0
  68. data/_layouts/page.html +56 -0
  69. data/assets/site.css +36 -0
  70. data/assets/site.js +20 -0
  71. data/favicon.png +0 -0
  72. data/index.md +16 -0
  73. data/screenshot.png +0 -0
  74. metadata +161 -0
@@ -0,0 +1,520 @@
1
+ /*!
2
+ * svg-based version of:
3
+ * # Semantic UI 2.3.1 - Icon
4
+ * http://github.com/semantic-org/semantic-ui/
5
+ *
6
+ * Released under the MIT license
7
+ * http://opensource.org/licenses/MIT
8
+ */
9
+
10
+ /*******************************
11
+
12
+ Changes from Semantic-UI font-based icons:
13
+
14
+ 1. no icon font, no references to font files or font properties
15
+ 2. css is defined for <svg> tags, not <i> tags
16
+ 3. no icon symbols are defined in css; all icons are defined in svg.html as symbol definitions
17
+
18
+ specifically, by commented section:
19
+
20
+ - Icon : tweaked to remove font references
21
+ - Types : same
22
+ - States : same
23
+ - Variations : same
24
+ - Groups : same
25
+ - Icons : removed (see _data/svg_icons.yml for all symbol definitions and ids)
26
+ - Outline Icons : removed (see _data/svg_icons.yml for all symbol definitions and ids)
27
+ - Brand Icons : removed (see _data/svg_icons.yml for all symbol definitions and ids)
28
+
29
+ Usage:
30
+
31
+ font: <i class="info circle icon"></i>
32
+ svg : {% include icon.liquid id='info-circle' %}
33
+
34
+ Why?
35
+
36
+ - https://blog.github.com/2016-02-22-delivering-octicons-with-svg/
37
+ - https://css-tricks.com/icon-fonts-vs-svg/
38
+
39
+ *******************************/
40
+
41
+
42
+ /*******************************
43
+ SVG Icon
44
+ *******************************/
45
+
46
+ svg.icon {
47
+ display: inline-block;
48
+ position: relative;
49
+ top: .18em;
50
+ width: 1.18em;
51
+ height: 1em;
52
+ opacity: 1;
53
+ margin: 0;
54
+ fill: currentColor;
55
+ speak: none;
56
+ }
57
+
58
+ svg.icon:before {
59
+ background: none !important;
60
+ }
61
+
62
+
63
+ /*******************************
64
+ Types
65
+ *******************************/
66
+
67
+
68
+ /*--------------
69
+ Loading
70
+ ---------------*/
71
+
72
+ svg.icon.loading {
73
+ height: 1em;
74
+ line-height: 1;
75
+ -webkit-animation: icon-loading 2s linear infinite;
76
+ animation: icon-loading 2s linear infinite;
77
+ }
78
+ @-webkit-keyframes icon-loading {
79
+ from {
80
+ -webkit-transform: rotate(0deg);
81
+ transform: rotate(0deg);
82
+ }
83
+ to {
84
+ -webkit-transform: rotate(360deg);
85
+ transform: rotate(360deg);
86
+ }
87
+ }
88
+ @keyframes icon-loading {
89
+ from {
90
+ -webkit-transform: rotate(0deg);
91
+ transform: rotate(0deg);
92
+ }
93
+ to {
94
+ -webkit-transform: rotate(360deg);
95
+ transform: rotate(360deg);
96
+ }
97
+ }
98
+
99
+
100
+ /*******************************
101
+ States
102
+ *******************************/
103
+
104
+ svg.icon.hover {
105
+ opacity: 1 !important;
106
+ }
107
+ svg.icon.active {
108
+ opacity: 1 !important;
109
+ }
110
+ svg.emphasized.icon {
111
+ opacity: 1 !important;
112
+ }
113
+ svg.disabled.icon {
114
+ opacity: 0.45 !important;
115
+ }
116
+
117
+
118
+ /*******************************
119
+ Variations
120
+ *******************************/
121
+
122
+
123
+ /*-------------------
124
+ Fitted
125
+ --------------------*/
126
+
127
+ svg.fitted.icon {
128
+ width: auto;
129
+ margin: 0em !important;
130
+ }
131
+
132
+ /*-------------------
133
+ Link
134
+ --------------------*/
135
+
136
+ svg.link.icon,
137
+ svg.link.icons {
138
+ cursor: pointer;
139
+ opacity: 0.8;
140
+ -webkit-transition: opacity 0.1s ease;
141
+ transition: opacity 0.1s ease;
142
+ }
143
+ svg.link.icon:hover,
144
+ svg.link.icons:hover {
145
+ opacity: 1 !important;
146
+ }
147
+
148
+ /*-------------------
149
+ Circular
150
+ --------------------*/
151
+
152
+ svg.circular.icon {
153
+ border-radius: 500em !important;
154
+ line-height: 1 !important;
155
+ padding: 0.5em 0.5em !important;
156
+ -webkit-box-shadow: 0em 0em 0em 0.1em rgba(0, 0, 0, 0.1) inset;
157
+ box-shadow: 0em 0em 0em 0.1em rgba(0, 0, 0, 0.1) inset;
158
+ width: 2em !important;
159
+ height: 2em !important;
160
+ }
161
+ svg.circular.inverted.icon {
162
+ border: none;
163
+ -webkit-box-shadow: none;
164
+ box-shadow: none;
165
+ }
166
+
167
+ /*-------------------
168
+ Flipped
169
+ --------------------*/
170
+
171
+ svg.flipped.icon,
172
+ svg.horizontally.flipped.icon {
173
+ -webkit-transform: scale(-1, 1);
174
+ transform: scale(-1, 1);
175
+ }
176
+ svg.vertically.flipped.icon {
177
+ -webkit-transform: scale(1, -1);
178
+ transform: scale(1, -1);
179
+ }
180
+
181
+ /*-------------------
182
+ Rotated
183
+ --------------------*/
184
+
185
+ svg.rotated.icon,
186
+ svg.right.rotated.icon,
187
+ svg.clockwise.rotated.icon {
188
+ -webkit-transform: rotate(90deg);
189
+ transform: rotate(90deg);
190
+ }
191
+ svg.left.rotated.icon,
192
+ svg.counterclockwise.rotated.icon {
193
+ -webkit-transform: rotate(-90deg);
194
+ transform: rotate(-90deg);
195
+ }
196
+
197
+ /*-------------------
198
+ Bordered
199
+ --------------------*/
200
+
201
+ svg.bordered.icon {
202
+ line-height: 1;
203
+ vertical-align: baseline;
204
+ width: 2em;
205
+ height: 2em;
206
+ padding: 0.5em 0em !important;
207
+ -webkit-box-shadow: 0em 0em 0em 0.1em rgba(0, 0, 0, 0.1) inset;
208
+ box-shadow: 0em 0em 0em 0.1em rgba(0, 0, 0, 0.1) inset;
209
+ }
210
+ svg.bordered.inverted.icon {
211
+ border: none;
212
+ -webkit-box-shadow: none;
213
+ box-shadow: none;
214
+ }
215
+
216
+ /*-------------------
217
+ Inverted
218
+ --------------------*/
219
+
220
+
221
+ /* Inverted Shapes */
222
+ svg.inverted.bordered.icon,
223
+ svg.inverted.circular.icon {
224
+ background-color: #1B1C1D !important;
225
+ color: #FFFFFF !important;
226
+ }
227
+ svg.inverted.icon {
228
+ color: #FFFFFF;
229
+ }
230
+
231
+ /*-------------------
232
+ Colors
233
+ --------------------*/
234
+
235
+
236
+ /* Red */
237
+ svg.red.icon {
238
+ color: #DB2828 !important;
239
+ }
240
+ svg.inverted.red.icon {
241
+ color: #FF695E !important;
242
+ }
243
+ svg.inverted.bordered.red.icon,
244
+ svg.inverted.circular.red.icon {
245
+ background-color: #DB2828 !important;
246
+ color: #FFFFFF !important;
247
+ }
248
+
249
+ /* Orange */
250
+ svg.orange.icon {
251
+ color: #F2711C !important;
252
+ }
253
+ svg.inverted.orange.icon {
254
+ color: #FF851B !important;
255
+ }
256
+ svg.inverted.bordered.orange.icon,
257
+ svg.inverted.circular.orange.icon {
258
+ background-color: #F2711C !important;
259
+ color: #FFFFFF !important;
260
+ }
261
+
262
+ /* Yellow */
263
+ svg.yellow.icon {
264
+ color: #FBBD08 !important;
265
+ }
266
+ svg.inverted.yellow.icon {
267
+ color: #FFE21F !important;
268
+ }
269
+ svg.inverted.bordered.yellow.icon,
270
+ svg.inverted.circular.yellow.icon {
271
+ background-color: #FBBD08 !important;
272
+ color: #FFFFFF !important;
273
+ }
274
+
275
+ /* Olive */
276
+ svg.olive.icon {
277
+ color: #B5CC18 !important;
278
+ }
279
+ svg.inverted.olive.icon {
280
+ color: #D9E778 !important;
281
+ }
282
+ svg.inverted.bordered.olive.icon,
283
+ svg.inverted.circular.olive.icon {
284
+ background-color: #B5CC18 !important;
285
+ color: #FFFFFF !important;
286
+ }
287
+
288
+ /* Green */
289
+ svg.green.icon {
290
+ color: #21BA45 !important;
291
+ }
292
+ svg.inverted.green.icon {
293
+ color: #2ECC40 !important;
294
+ }
295
+ svg.inverted.bordered.green.icon,
296
+ svg.inverted.circular.green.icon {
297
+ background-color: #21BA45 !important;
298
+ color: #FFFFFF !important;
299
+ }
300
+
301
+ /* Teal */
302
+ svg.teal.icon {
303
+ color: #00B5AD !important;
304
+ }
305
+ svg.inverted.teal.icon {
306
+ color: #6DFFFF !important;
307
+ }
308
+ svg.inverted.bordered.teal.icon,
309
+ svg.inverted.circular.teal.icon {
310
+ background-color: #00B5AD !important;
311
+ color: #FFFFFF !important;
312
+ }
313
+
314
+ /* Blue */
315
+ svg.blue.icon {
316
+ color: #2185D0 !important;
317
+ }
318
+ svg.inverted.blue.icon {
319
+ color: #54C8FF !important;
320
+ }
321
+ svg.inverted.bordered.blue.icon,
322
+ svg.inverted.circular.blue.icon {
323
+ background-color: #2185D0 !important;
324
+ color: #FFFFFF !important;
325
+ }
326
+
327
+ /* Violet */
328
+ svg.violet.icon {
329
+ color: #6435C9 !important;
330
+ }
331
+ svg.inverted.violet.icon {
332
+ color: #A291FB !important;
333
+ }
334
+ svg.inverted.bordered.violet.icon,
335
+ svg.inverted.circular.violet.icon {
336
+ background-color: #6435C9 !important;
337
+ color: #FFFFFF !important;
338
+ }
339
+
340
+ /* Purple */
341
+ svg.purple.icon {
342
+ color: #A333C8 !important;
343
+ }
344
+ svg.inverted.purple.icon {
345
+ color: #DC73FF !important;
346
+ }
347
+ svg.inverted.bordered.purple.icon,
348
+ svg.inverted.circular.purple.icon {
349
+ background-color: #A333C8 !important;
350
+ color: #FFFFFF !important;
351
+ }
352
+
353
+ /* Pink */
354
+ svg.pink.icon {
355
+ color: #E03997 !important;
356
+ }
357
+ svg.inverted.pink.icon {
358
+ color: #FF8EDF !important;
359
+ }
360
+ svg.inverted.bordered.pink.icon,
361
+ svg.inverted.circular.pink.icon {
362
+ background-color: #E03997 !important;
363
+ color: #FFFFFF !important;
364
+ }
365
+
366
+ /* Brown */
367
+ svg.brown.icon {
368
+ color: #A5673F !important;
369
+ }
370
+ svg.inverted.brown.icon {
371
+ color: #D67C1C !important;
372
+ }
373
+ svg.inverted.bordered.brown.icon,
374
+ svg.inverted.circular.brown.icon {
375
+ background-color: #A5673F !important;
376
+ color: #FFFFFF !important;
377
+ }
378
+
379
+ /* Grey */
380
+ svg.grey.icon {
381
+ color: #767676 !important;
382
+ }
383
+ svg.inverted.grey.icon {
384
+ color: #DCDDDE !important;
385
+ }
386
+ svg.inverted.bordered.grey.icon,
387
+ svg.inverted.circular.grey.icon {
388
+ background-color: #767676 !important;
389
+ color: #FFFFFF !important;
390
+ }
391
+
392
+ /* Black */
393
+ svg.black.icon {
394
+ color: #1B1C1D !important;
395
+ }
396
+ svg.inverted.black.icon {
397
+ color: #545454 !important;
398
+ }
399
+ svg.inverted.bordered.black.icon,
400
+ svg.inverted.circular.black.icon {
401
+ background-color: #1B1C1D !important;
402
+ color: #FFFFFF !important;
403
+ }
404
+
405
+ /*-------------------
406
+ Sizes
407
+ --------------------*/
408
+
409
+ svg.mini.icon,
410
+ svg.mini.icons {
411
+ line-height: 1;
412
+ font-size: 0.4em;
413
+ }
414
+ svg.tiny.icon,
415
+ svg.tiny.icons {
416
+ line-height: 1;
417
+ font-size: 0.5em;
418
+ }
419
+ svg.small.icon,
420
+ svg.small.icons {
421
+ line-height: 1;
422
+ font-size: 0.75em;
423
+ }
424
+ svg.icon,
425
+ svg.icons {
426
+ font-size: 1em;
427
+ }
428
+ svg.large.icon,
429
+ svg.large.icons {
430
+ line-height: 1;
431
+ vertical-align: middle;
432
+ font-size: 1.5em;
433
+ }
434
+ svg.big.icon,
435
+ svg.big.icons {
436
+ line-height: 1;
437
+ vertical-align: middle;
438
+ font-size: 2em;
439
+ }
440
+ svg.huge.icon,
441
+ svg.huge.icons {
442
+ line-height: 1;
443
+ vertical-align: middle;
444
+ font-size: 4em;
445
+ }
446
+ svg.massive.icon,
447
+ svg.massive.icons {
448
+ line-height: 1;
449
+ vertical-align: middle;
450
+ font-size: 8em;
451
+ }
452
+
453
+
454
+ /*******************************
455
+ Groups
456
+ *******************************/
457
+
458
+ svg.icons {
459
+ display: inline-block;
460
+ position: relative;
461
+ line-height: 1;
462
+ }
463
+ svg.icons .icon {
464
+ position: absolute;
465
+ top: 50%;
466
+ left: 50%;
467
+ -webkit-transform: translateX(-50%) translateY(-50%);
468
+ transform: translateX(-50%) translateY(-50%);
469
+ margin: 0em;
470
+ margin: 0;
471
+ }
472
+ svg.icons .icon:first-child {
473
+ position: static;
474
+ width: auto;
475
+ height: auto;
476
+ vertical-align: top;
477
+ -webkit-transform: none;
478
+ transform: none;
479
+ margin-right: 0.25rem;
480
+ }
481
+
482
+ /* Corner Icon */
483
+ svg.icons .corner.icon {
484
+ top: auto;
485
+ left: auto;
486
+ right: 0;
487
+ bottom: 0;
488
+ -webkit-transform: none;
489
+ transform: none;
490
+ font-size: 0.45em;
491
+ text-shadow: -1px -1px 0 #FFFFFF, 1px -1px 0 #FFFFFF, -1px 1px 0 #FFFFFF, 1px 1px 0 #FFFFFF;
492
+ }
493
+ svg.icons .top.right.corner.icon {
494
+ top: 0;
495
+ left: auto;
496
+ right: 0;
497
+ bottom: auto;
498
+ }
499
+ svg.icons .top.left.corner.icon {
500
+ top: 0;
501
+ left: 0;
502
+ right: auto;
503
+ bottom: auto;
504
+ }
505
+ svg.icons .bottom.left.corner.icon {
506
+ top: auto;
507
+ left: 0;
508
+ right: auto;
509
+ bottom: 0;
510
+ }
511
+ svg.icons .bottom.right.corner.icon {
512
+ top: auto;
513
+ left: auto;
514
+ right: 0;
515
+ bottom: 0;
516
+ }
517
+ svg.icons .inverted.corner.icon {
518
+ text-shadow: -1px -1px 0 #1B1C1D, 1px -1px 0 #1B1C1D, -1px 1px 0 #1B1C1D, 1px 1px 0 #1B1C1D;
519
+ }
520
+
@@ -0,0 +1,195 @@
1
+ /*
2
+ * CSS customizations for the programming pages template
3
+ */
4
+
5
+ /* use flexbox to keep footer stuck to bottom */
6
+ .pusher {
7
+ display: flex;
8
+ min-height: 100vh;
9
+ flex-direction: column;
10
+ }
11
+ #page-container {
12
+ flex: 1;
13
+ }
14
+
15
+ /* toggle visibility of menu toggle / sidebar at 'mobile' width */
16
+ #site-title .toggle.item {
17
+ display: none;
18
+ }
19
+ #sidebar-fixed {
20
+ overflow-y: auto!important;
21
+ height: 100%;
22
+ max-height: 100vh;
23
+ }
24
+ #sidebar-retractable {
25
+ width: 15rem;
26
+ }
27
+ .pusher #page-container {
28
+ margin-left: 15rem; /* position page to left of sidebar when it's not retractable */
29
+ }
30
+ @media only screen and (max-width: 767px) {
31
+ #site-title .toggle.item {
32
+ display: flex;
33
+ }
34
+ .pusher #sidebar-fixed {
35
+ display: none;
36
+ }
37
+ .pusher #page-container {
38
+ margin-left: 0;
39
+ }
40
+ }
41
+
42
+ /* adjust anchor positions so in-page links appear below fixed top menu */
43
+ :target::before {
44
+ display: block;
45
+ content: " ";
46
+ margin-top: -3.5rem;
47
+ height: 3.5rem;
48
+ visibility: hidden;
49
+ pointer-events: none;
50
+ }
51
+
52
+ /* adjustments to fixed top title */
53
+ #page-container {
54
+ margin-top: 3.4rem; /* position page under top menu */
55
+ }
56
+ #site-title .header {
57
+ height: 3.5rem;
58
+ }
59
+ #site-title a.borderless.item svg.icon {
60
+ top: -.06em;
61
+ margin-right: .18em;
62
+ }
63
+ /* tighten things up as viewport shrinks */
64
+ #site-title {
65
+ background-color: #eee;
66
+ font-size: /* 14 - 18px */ calc(14px + 4 * ((100vw - 320px) / (1910 - 320)));
67
+ }
68
+ #site-title .header .text {
69
+ max-width: calc(40vw); /* not to exceed 40% of viewport width */
70
+ width: min-content; /* but shrink to the smallest width needed by content, after wrapping */
71
+ }
72
+ @media only screen and (min-width: 768px) {
73
+ #site-title .header .text {
74
+ max-width: calc(60vw); /* grant up to 60% of viewport width */
75
+ width: max-content; /* and contract to the smallest width needed by content without wrapping */
76
+ }
77
+ }
78
+ #site-title .borderless.item {
79
+ padding-left: /* 1.5 - 3.5em */ calc(1.5em + 2 * ((100vw - 320px) / (1910 - 320)));
80
+ padding-right: .25em;
81
+ }
82
+
83
+ /* responsive adjustments to attribution footer */
84
+ #site-attribution .table {
85
+ font-size: /* 14 - 18px */ calc(14px + 4 * ((100vw - 320px) / (1910 - 320)));
86
+ }
87
+ #site-attribution .table .license {
88
+ float: left;
89
+ padding-right: .25em;
90
+ margin-top: -.125em;
91
+ }
92
+ #site-attribution .table .license .larger.text {
93
+ font-size: 220%;
94
+ }
95
+ #site-attribution .table .project-repo {
96
+ font-size: /* 10 - 14px */ calc(10px + 4 * ((100vw - 320px) / (1910 - 320)));
97
+ }
98
+
99
+ /* tweaks to existing semantic-ui rules */
100
+ #sidebar-retractable.ui.push.sidebar {
101
+ z-index: 100; /* underneath top fixed menu */
102
+ }
103
+ #sidebar-retractable.ui.menu {
104
+ top: 3.5rem; /* below top fixed menu */
105
+ }
106
+ #sidebar-fixed.ui.menu {
107
+ position: fixed;
108
+ top: 3.5rem; /* below top fixed menu */
109
+ left: auto;
110
+ }
111
+ .ui.secondary.pointing.menu .item {
112
+ padding: .75em .75em;
113
+ }
114
+ .ui.vertical.text.menu .tight.item {
115
+ margin: 0;
116
+ padding: .5em;
117
+ }
118
+ .ui.vertical.text.menu .very.tight.item {
119
+ margin: 0;
120
+ padding: .125em;
121
+ }
122
+ .ui.tight.header {
123
+ margin-bottom: .5em;
124
+ }
125
+ .ui.very.tight.header {
126
+ margin-bottom: .25em;
127
+ }
128
+ .ui.tight.segment {
129
+ padding: .5em;
130
+ }
131
+ .ui.tight.label {
132
+ padding: .25em;
133
+ }
134
+ .ui.message {
135
+ max-width: 45rem;
136
+ }
137
+ .ui.message svg.icon {
138
+ top: .125em;
139
+ }
140
+ .ui.success.message, .ui.info.message, .ui.warning.message, .ui.error.message {
141
+ border-left-style: solid;
142
+ border-left-width: .25em;
143
+ }
144
+
145
+ /* custom styling */
146
+ blockquote {
147
+ background: #f9f9f9;
148
+ border-left: .5em solid #4183c4;
149
+ margin: 1.5em .5em;
150
+ padding: .5em .5em;
151
+ }
152
+ blockquote p {
153
+ display: inline;
154
+ }
155
+ code, kbd, pre, samp {
156
+ font-family: Consolas,'Lucida Console','Andale Mono',monospace;
157
+ }
158
+ code.highlighter-rouge {
159
+ padding: 2px 4px;
160
+ font-size: 90%;
161
+ color: #d87b00;
162
+ background-color: #f5f4e8;
163
+ border-radius: 4px;
164
+ overflow-x: auto;
165
+ width: fit-content;
166
+ max-width: 100%;
167
+ }
168
+ pre.highlight {
169
+ line-height: 1.18em;
170
+ overflow-x: auto;
171
+ width: fit-content;
172
+ max-width: 100%;
173
+ }
174
+ .larger.text {
175
+ font-size: 150%;
176
+ }
177
+ .larger.text li, p.larger.text {
178
+ line-height: 130%;
179
+ max-width: 50rem;
180
+ }
181
+ .smaller.text {
182
+ font-size: 80%;
183
+ }
184
+ .smaller.text li, p.smaller.text {
185
+ line-height: 90%;
186
+ }
187
+ .normal.text {
188
+ font-weight: normal;
189
+ }
190
+ .ui.tab.segment .link.list .item>.icon {
191
+ float: right;
192
+ }
193
+ .ui.list .item>.icon {
194
+ float: left;
195
+ }