6 Commits

Author	SHA1	Message	Date
ines	2940938bd8	Use more distinct style for checkboxes in quickstart	2017-11-04 14:24:30 +01:00
ines	3e1b971b16	Update CSS	2017-10-03 14:14:52 +02:00
ines	5c06cf71ab	Add different options for styling bash, python and divider commands	2017-05-21 20:51:17 +02:00
ines	f56cdf4ed1	Add quickstart.js note to mixin	2017-05-21 20:50:11 +02:00
ines	532927a3c4	Update quickstart	2017-05-17 17:35:56 +02:00
ines	7b9466f625	Add mixins and styles for quickstart widget	2017-05-17 12:04:03 +02:00