diff options
author | Jack Humbert <jack.humb@gmail.com> | 2017-08-06 22:29:59 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-06 22:29:59 -0400 |
commit | 9e79bb14915ee39b756eaeb569b14a54fb9916ec (patch) | |
tree | 4a728db1c085614fb9197b8c0560a14954cffad7 /book.json | |
parent | 1fc9eabd08136554e4f27f3d21cf5e002441abfe (diff) | |
parent | 585f140052897dd0daa094e12fc725625340caa5 (diff) |
Merge pull request #1554 from qmk/docs
Updates some remaining doc stuff
Diffstat (limited to 'book.json')
-rw-r--r-- | book.json | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -3,12 +3,9 @@ "summary": "_summary.md" }, "plugins" : [ - "anchors", "edit-link", "forkmegithub", - "git-author", "hints", - "numbered-headings", "page-toc", "terminal", "toolbar" @@ -25,6 +22,11 @@ "page-toc": { "selector": ".markdown-section h1, .markdown-section h2" }, + "terminal": { + "copyButtons": true, + "fade": false, + "style": "flat" + }, "toolbar": { "buttons": [ { |