Small layout tweaks, esp. logos

This commit is contained in:
Nathan Schneider 2019-04-08 03:53:50 +00:00
parent 4b34301b85
commit d0ac8954e5

View File

@ -2,16 +2,18 @@ site_name: Democratic Mediums
site_url: "https://medlabboulder.gitlab.io/democraticmediums/" site_url: "https://medlabboulder.gitlab.io/democraticmediums/"
theme: theme:
name: 'material' name: 'material' # info: https://github.com/squidfunk/mkdocs-material/
font: false font: false
palette: palette:
primary: white primary: white
accent: blue accent: blue
logo: 'group-work' # for an arbitrary file, can be changed to [docs/] 'images/logo.svg' logo: # for an arbitrary file, can be changed to [docs/] 'images/logo.svg'
favicon: 'assets/images/favicon.ico' icon: 'group-work'
favicon: # 'assets/images/favicon.ico'
icon: 'group-work' # (not sure if this works!)
extra.repo_icon: gitlab extra.repo_icon: gitlab
repo_name: 'Edit on GitLab' repo_name: 'Contribute at GitLab'
repo_url: 'https://gitlab.com/medlabboulder/democraticmediums' repo_url: 'https://gitlab.com/medlabboulder/democraticmediums'
extra_css: extra_css: