From 9d13384d552ecf35b2d88c0a63dd79d549425b9d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Astori?= Date: Sat, 27 Oct 2018 04:24:05 -0400 Subject: [PATCH 1/3] Add an "Edit on GitHub" button to all docs pages --- _layouts/documentation.html | 6 ++++++ css/style.css | 11 ++++++++++- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/_layouts/documentation.html b/_layouts/documentation.html index a18b9f94..d9507d04 100644 --- a/_layouts/documentation.html +++ b/_layouts/documentation.html @@ -9,6 +9,12 @@ {% include menu.html %}
+

+ + Edit on GitHub + +

+

{{ page.title }}

{{ content }} diff --git a/css/style.css b/css/style.css index 76f72a7d..03087b08 100644 --- a/css/style.css +++ b/css/style.css @@ -285,7 +285,6 @@ img { #docs { padding-top: 40px; } -#main h1:first-child, #main p { margin-top: 0; } @@ -295,6 +294,7 @@ img { margin: 1.3em 0 .5em; } #main h1 { + margin-top: 0; font-size: 2.5em; } #main h2 { @@ -477,6 +477,15 @@ a.link-anchor { font-weight: bold; } +/* "Edit on GitHub" button */ + +.edit-page-btn { + float: right; + margin-top: 20px; + line-height: 60px; + font-size: .9em; +} + /* Rouge syntax highlighting - Igorpro theme */ .highlight table td { padding: 5px; } .highlight table pre { margin: 0; } From 1d64ed920c059314867122d8cc8e4c0ccd05cd89 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Astori?= Date: Mon, 27 Aug 2018 01:50:54 -0400 Subject: [PATCH 2/3] Simplify and improve markup/CSS to prepare for upcoming full-width Community page --- _includes/page.html | 9 +++++++++ _layouts/default.html | 2 +- _layouts/documentation.html | 24 +++++++----------------- _layouts/fullwidth.html | 7 +++++++ css/style.css | 36 +++++++++++------------------------- 5 files changed, 35 insertions(+), 43 deletions(-) create mode 100644 _includes/page.html create mode 100644 _layouts/fullwidth.html diff --git a/_includes/page.html b/_includes/page.html new file mode 100644 index 00000000..8b7570e9 --- /dev/null +++ b/_includes/page.html @@ -0,0 +1,9 @@ +
+ + Edit this page + +
+ +

{{ page.title }}

+ +{{ content }} diff --git a/_layouts/default.html b/_layouts/default.html index 86b7c04d..3f7c2d3e 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -54,10 +54,10 @@

Search results

-
{{ content }}
+