15 Commits

Author	SHA1	Message	Date
Pavlo Rudy	57bad91360	add hover effect to links; close #72	2023-07-12 21:54:24 +03:00
evebyte	baf38f9fd5	added anchors to headers using anchor.js	2022-12-07 17:03:50 -07:00
Peter Bittner	9ace34b77d	Maintain line breaks in code snippets on website	2021-12-20 00:40:29 +01:00
Fares Ahmed	107653abb3	Add media queries	2021-06-22 15:49:15 +02:00
Fares Ahmed	d6c65a176a	Fix posts anchor links hiding content	2021-06-22 15:15:23 +02:00
GeopJr	36ee315689	fix: mobile overflow	2021-01-16 06:51:16 +02:00
GeopJr	1d01ef4102	fix: some more a11y	2021-01-16 06:31:00 +02:00
GeopJr	ba22a62763	fix: best-practices	2021-01-16 06:27:18 +02:00
GeopJr	86bf0d30d5	fix: a11y	2021-01-16 05:39:46 +02:00
Peter Squicciarini	c9546300df	Remove red highlighting of certain parts of code blocks	2020-10-12 10:10:03 -07:00
maxlath	7cc0eddb2f	Increase <pre> background color contrast ... in an attempt to make it more readable	2020-06-10 09:40:31 +02:00
Peter Squicciarini	7df7b9132b	Modify padding	2019-05-01 13:45:36 -07:00
Lorenzo Palinuro Faletra	5ebc9cd2db	update circle sizes	2019-04-01 15:39:19 +02:00
Lorenzo Palinuro Faletra	07b01d04f8	fix icon stretch bug on mobile devices	2019-04-01 15:24:27 +02:00
Lorenzo Palinuro Faletra	9299d4d3ed	import a first jekyll draft	2019-03-30 20:32:27 +01:00