github.com/rvaralda/deis@v1.4.1/docs/theme/deis/theme.conf (about)

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