|
|
8e8bb6d148
|
Updated web script
Used emoji for clipboard icons, added persistent scroll to top button with proper smooth scrolling.
|
2018-01-09 14:50:18 +02:00 |
|
|
|
f91b28d3fc
|
Added multi-tagging (#159)
Updated all scripts to deal with multiple tags, the only thing missing is to actually multi-tag all snippets retroactively.
|
2018-01-05 14:35:43 +02:00 |
|
|
|
6410ade54e
|
Improve syntax highlighting
|
2018-01-05 10:01:40 +11:00 |
|
|
|
9341f0aaaa
|
Added toast for copy to clipboard
Shows a toast message for 2 seconds after copying to clipboard.
|
2018-01-04 13:54:42 +02:00 |
|
|
|
3f355ff235
|
Optimized mini.css flavor
Changed naming conventions and updated variables to make the flavor file slightly smaller (~ 0.4KB less gzipped).
|
2018-01-04 13:35:38 +02:00 |
|
|
|
76c39cfcd3
|
SVG instead of inlining every time
|
2018-01-04 00:20:34 +02:00 |
|
|
|
af556d9eff
|
Updated code bg
|
2018-01-04 00:09:49 +02:00 |
|
|
|
0f18d77b83
|
Updated shadows
|
2018-01-04 00:06:57 +02:00 |
|
|
|
13c27db7dc
|
Optimized website
Server-side rendering for syntax highlighting and DOM tree optimizations.
|
2018-01-04 00:01:11 +02:00 |
|
|
|
491101ecaa
|
Merged prism into mini.css flavor
|
2018-01-03 22:16:19 +02:00 |
|
|
|
51f45affea
|
Updated website
|
2018-01-03 21:28:09 +02:00 |
|
|
|
0c575a4d68
|
Website improvements
Updated injectors to be simpler and easier to use. Updated styling to deal with rendering problems and make the loading faster.
|
2018-01-03 19:30:55 +02:00 |
|
|
|
6ba54a236f
|
Updated mini.css
Some files are not necessarily production-ready, but we won't use them all anyways.
|
2018-01-03 17:17:41 +02:00 |
|
|
|
e65707fea3
|
Remove unused spans
|
2017-12-31 17:20:13 +01:00 |
|
|
|
5c109d29bb
|
Updated website
|
2017-12-28 11:19:06 +02:00 |
|
|
|
5f20a01dda
|
Website styling fix
|
2017-12-28 10:49:13 +02:00 |
|
|
|
99a07d22dd
|
Updated the flavor file to avoid a styling problem
|
2017-12-27 16:34:50 +02:00 |
|
|
|
0ac9abcc4e
|
Minor styling fix
|
2017-12-25 01:09:56 +02:00 |
|
|
|
20347facda
|
Fixed code fonts in websites
|
2017-12-23 11:39:20 +02:00 |
|
|
|
71ecbc8cb1
|
Updated web script to deal with bugs
|
2017-12-21 12:31:47 +02:00 |
|
|
|
dbc3b9c452
|
Colors and shadows for website
|
2017-12-20 14:41:09 +02:00 |
|
|
|
5c08002d07
|
Fixed website responsiveness
|
2017-12-20 14:18:42 +02:00 |
|
|
|
69ddf54d40
|
Added mini css to the web builder
|
2017-12-20 13:51:15 +02:00 |
|
