7 Commits

Author	SHA1	Message	Date
Wilfried Goesgens	4968d2f186	add 3.1 to the dropdown	2016-11-07 11:03:41 +01:00
Simran Brucherseifer	08ad5b6f3d	Docs: update header (improve tooltips)	2016-08-18 13:29:03 +02:00
Simran Brucherseifer	daba4ca208	Add download and slack buttons to documentation header	2016-08-09 18:20:45 +02:00
Simran Brucherseifer	b7f4032696	Use JS to switch between versions and books	2016-06-23 12:19:24 +02:00
Alan Plum	069309a65c	Don't ever use IDs for styling ... This nonsense breaks markdown-generated IDs and causes all kinds of trouble. Don't use IDs. Ever.	2016-06-17 17:27:49 +02:00
Simran Brucherseifer	edd292f64f	Updated and fixed docs header	2016-05-30 15:30:37 +02:00
Simran Brucherseifer	23e22f6f39	Rename Users documentation to Manual	2016-05-24 16:09:21 +02:00