Ezio Melotti f2b9a39813 #24918: fix CSS for code blocks when a side box is present. Patch by Manvi B.		2016-03-13 11:41:05 +02:00
..
static	#24918: fix CSS for code blocks when a side box is present. Patch by Manvi B.	2016-03-13 11:41:05 +02:00
theme.conf	Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.	2014-09-30 22:51:30 +02:00