github.com/dustinrc/deis@v1.10.1-0.20150917223407-0894a5fb979e/docs/theme/deis/theme.conf (about)

     1  [theme]
     2  inherit = classic
     3  pygments_style = monokai
     4  
     5  [options]
     6  rightsidebar = true