github.com/mgood/deis@v1.0.2-0.20141120022609-9a185b756e7d/docs/theme/deis/theme.conf (about)

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