# # This file defines layout options for Guru mode. # # If you want to use this file, rename it to 'guru.fmt', so that # htmlpp will find it and so that you won't be inconvenienced by # future updates. Check this file in future releases for changes. # $guru_toc = "Table of Contents"; # If empty, no TOC $guru_ul = "