diff options
Diffstat (limited to 'devtools/docs/styles/website.css')
| -rw-r--r-- | devtools/docs/styles/website.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devtools/docs/styles/website.css b/devtools/docs/styles/website.css new file mode 100644 index 000000000..414f3fbd8 --- /dev/null +++ b/devtools/docs/styles/website.css @@ -0,0 +1,13 @@ + +.book .book-summary ul.summary li { + cursor: pointer; +} + +.book .book-body .page-wrapper .page-inner section.normal p, +.book .book-body .page-wrapper .page-inner section.normal pre { + margin: .85em 0; +} + +.book .book-body .page-wrapper .page-inner section.normal pre { + line-height: 1.25em; +}
\ No newline at end of file |