id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	launchpad_bug
3631	Use a different Sphinx theme when building docs locally	sajith	sajith	The default theme Sphinx uses is different from what readthedocs.org uses.  Switching to sphinx_rtd_theme would be useful when viewing changes locally.	defect	closed	normal	undecided	documentation	n/a	fixed