allow publishing gists and toggle rhp

9 years ago · e17ef151c2
parent 31ca4c4da4
commit e17ef151c2
2 changed files with 653 additions and 576 deletions
--- a/index.html
+++ b/index.html
--- 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;