From e17ef151c2cb4d49feba4020d879043859499f81 Mon Sep 17 00:00:00 2001 From: d11e9 Date: Thu, 8 Oct 2015 15:47:30 +0100 Subject: [PATCH] allow publishing gists and toggle rhp --- index.html | 1209 ++++++++++++++++-------------- stylesheets/browser-solidity.css | 20 +- 2 files changed, 653 insertions(+), 576 deletions(-) diff --git a/index.html b/index.html index 4d35a995ac..34c549aa96 100644 --- a/index.html +++ b/index.html @@ -49,579 +49,640 @@ THE SOFTWARE. - - -
-
- + -
-
-
-
- -
- -
-
- - - - + + +
+
+ + + +
+
+
+
+ +
+ +
+
+ + + + diff --git a/stylesheets/browser-solidity.css b/stylesheets/browser-solidity.css index 1040eaf84c..7ded2ba974 100644 --- a/stylesheets/browser-solidity.css +++ b/stylesheets/browser-solidity.css @@ -17,7 +17,7 @@ body { height: 2.5em; box-sizing: border-box; line-height: 2em; - padding: 0.5em 0.5em 0; + padding: 0.5em 0 0; } #files .file, @@ -31,12 +31,28 @@ body { position: relative; } -#files .newFile { +#files .newFile, +#files .toggleRHP { background-color: #B1EAC5; font-weight: bold; color: #4E775D; } +#files .toggleRHP { + float: right; + cursor: pointer; +} + +#files .toggleRHP:before { + content: ">>"; + width: 2em; + padding: 0 0.6em; + box-sizing: border-box; +} +#files .toggleRHP.toggled:before { + content: "<<"; +} + #files .file.active { font-weight: bold; border-bottom: 0 none;