From 067b01e51c0459c26d545475bab2729282653ca3 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 1 Sep 2016 02:27:03 +0100
Subject: [PATCH] css: consistency fixes

---
 assets/css/browser-solidity.css |  42 ++++--
 assets/css/styles.css           | 233 ++++++++++++++++----------------
 2 files changed, 145 insertions(+), 130 deletions(-)

diff --git a/assets/css/browser-solidity.css b/assets/css/browser-solidity.css
index bbc23adf12..c70b1c996c 100644
--- a/assets/css/browser-solidity.css
+++ b/assets/css/browser-solidity.css
@@ -6,7 +6,6 @@ body {
 }
 
 #editor {
-
     position: absolute;
     top: 0;
     left: 0;
@@ -23,7 +22,7 @@ body {
     display: none;
     padding: 0 0.9em;
     vertical-align: middle;
-    background-color: rgba(255,255,255,0.8);
+    background-color: rgba(255, 255, 255, 0.8);
     height: 100%;
     font-size: 1.3em;
 }
@@ -70,7 +69,7 @@ body {
     cursor: pointer;
     border-right: 0.5em solid white;
     position: relative;
-    display:table-cell;
+    display: table-cell;
     text-align: center;
     vertical-align: middle;
     color: #999;
@@ -121,7 +120,9 @@ body {
     margin: 0.5em 0;
 }
 
-#files .file.active .remove { display: inline-block; }
+#files .file.active .remove {
+    display: inline-block;
+}
 
 #input {
     border-top: 3px solid #F4F6FF;
@@ -203,19 +204,36 @@ body {
     padding: 1em 0.5em 0.5em;
 }
 
-#header #optionViews.txView #txView { display: block; }
-#header #optionViews.settingsView #settingsView { display: block; }
-#header #optionViews.publishView #publishView { display: block; }
-#header #optionViews.envView #envView { display: block; }
-#header #optionViews.debugView #debugView { display: block; }
-#header #optionViews.verificationView #verificationView { display: block; }
+#header #optionViews.txView #txView {
+    display: block;
+}
+
+#header #optionViews.settingsView #settingsView {
+    display: block;
+}
+
+#header #optionViews.publishView #publishView {
+    display: block;
+}
+
+#header #optionViews.envView #envView {
+    display: block;
+}
+
+#header #optionViews.debugView #debugView {
+    display: block;
+}
+
+#header #optionViews.verificationView #verificationView {
+    display: block;
+}
 
 #header #optionViews.txView input,
 #header #optionViews.txView select {
     max-width: 13em;
     padding: 0.3em;
     box-sizing: border-box;
-    border: 1px solid rgba( 0,0,0,0.3 );
+    border: 1px solid rgba(0, 0, 0, 0.3);
     border-radius: 3px;
 }
 
@@ -362,7 +380,7 @@ body {
 .sol.warning .close {
     font-weight: bold;
     position: absolute;
-    color: rgba(0,0,0,0.5);
+    color: rgba(0, 0, 0, 0.5);
     top: 0;
     right: 0;
     padding: 0.5em;
diff --git a/assets/css/styles.css b/assets/css/styles.css
index ce0a1c193e..a237198978 100644
--- a/assets/css/styles.css
+++ b/assets/css/styles.css
@@ -1,10 +1,10 @@
 /*@import url(https://fonts.googleapis.com/css?family=Lato:300italic,700italic,300,700);*/
 
 body {
-  padding:50px;
-  font:14px/1.5 Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
-  color:#777;
-  font-weight:300;
+  padding: 50px;
+  font: 14px/1.5 Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
+  color: #777;
+  font-weight: 300;
 }
 
 h1, h2, h3, h4, h5, h6 {
@@ -12,151 +12,148 @@ h1, h2, h3, h4, h5, h6 {
 }
 
 p, ul, ol, table, pre, dl {
-  margin:0 0 20px;
+  margin: 0 0 20px;
 }
 
 h1, h2, h3 {
-  line-height:1.1;
+  line-height: 1.1;
 }
 
 h1 {
-  font-size:28px;
+  font-size: 28px;
 }
 
 h2 {
-  color:#393939;
+  color: #393939;
 }
 
 a {
-  color:#39c;
-  font-weight:400;
-  text-decoration:none;
+  color: #39c;
+  font-weight: 400;
+  text-decoration: none;
 }
 
 a:hover {
-  color:#069;
+  color: #069;
 }
 
 a small {
-  font-size:11px;
-  color:#777;
-  margin-top:-0.6em;
-  display:block;
+  font-size: 11px;
+  color: #777;
+  margin-top: -0.6em;
+  display: block;
 }
 
 a:hover small {
-  color:#777;
+  color: #777;
 }
 
 .wrapper {
-  width:860px;
-  margin:0 auto;
+  width: 860px;
+  margin: 0 auto;
 }
 
 blockquote {
-  border-left:1px solid #e5e5e5;
-  margin:0;
-  padding:0 0 0 20px;
-  font-style:italic;
+  border-left: 1px solid #e5e5e5;
+  margin: 0;
+  padding: 0 0 0 20px;
+  font-style: italic;
 }
 
 code, pre {
-  font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, monospace;
-  color:#333;
-  font-size:12px;
+  font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, monospace;
+  color: #333;
+  font-size: 12px;
 }
 
 pre {
-  padding:8px 15px;
+  padding: 8px 15px;
   background: #f8f8f8;
-  border-radius:5px;
-  border:1px solid #e5e5e5;
+  border-radius: 5px;
+  border: 1px solid #e5e5e5;
   overflow-x: auto;
 }
 
 table {
-  width:100%;
-  border-collapse:collapse;
+  width: 100%;
+  border-collapse: collapse;
 }
 
 th, td {
-  text-align:left;
-  padding:5px 10px;
-  border-bottom:1px solid #e5e5e5;
+  text-align: left;
+  padding: 5px 10px;
+  border-bottom: 1px solid #e5e5e5;
 }
 
 dt {
-  color:#444;
-  font-weight:700;
+  color: #444;
+  font-weight: 700;
 }
 
 th {
-  color:#444;
+  color: #444;
 }
 
 img {
-  max-width:100%;
+  max-width: 100%;
 }
 
 header {
-  width:270px;
-  float:left;
-  position:fixed;
+  width: 270px;
+  float: left;
+  position: fixed;
 }
 
 header ul {
-  list-style:none;
-  height:40px;
-
-  padding:0;
-
+  list-style: none;
+  height: 40px;
+  padding: 0;
   background: #eee;
   background: -moz-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
-  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#f8f8f8), color-stop(100%,#dddddd));
-  background: -webkit-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
-  background: -o-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
-  background: -ms-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
-  background: linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
-
-  border-radius:5px;
-  border:1px solid #d2d2d2;
-  box-shadow:inset #fff 0 1px 0, inset rgba(0,0,0,0.03) 0 -1px 0;
-  width:270px;
+  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #f8f8f8), color-stop(100%, #dddddd));
+  background: -webkit-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
+  background: -o-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
+  background: -ms-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
+  background: linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
+  border-radius: 5px;
+  border: 1px solid #d2d2d2;
+  box-shadow: inset #fff 0 1px 0, inset rgba(0, 0, 0, 0.03) 0 -1px 0;
+  width: 270px;
 }
 
 header li {
-  width:89px;
-  float:left;
-  border-right:1px solid #d2d2d2;
-  height:40px;
+  width: 89px;
+  float: left;
+  border-right: 1px solid #d2d2d2;
+  height: 40px;
 }
 
 header li:first-child a {
-  border-radius:5px 0 0 5px;
+  border-radius: 5px 0 0 5px;
 }
 
 header li:last-child a {
-  border-radius:0 5px 5px 0;
+  border-radius: 0 5px 5px 0;
 }
 
 header ul a {
-  line-height:1;
-  font-size:11px;
-  color:#999;
-  display:block;
-  text-align:center;
-  padding-top:6px;
-  height:34px;
+  line-height: 1;
+  font-size: 11px;
+  color: #999;
+  display: block;
+  text-align: center;
+  padding-top: 6px;
+  height: 34px;
 }
 
 header ul a:hover {
-  color:#999;
+  color: #999;
   background: -moz-linear-gradient(top, #fff 0%, #ddd 100%);
-  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#fff), color-stop(100%,#ddd));
-  background: -webkit-linear-gradient(top, #fff 0%,#ddd 100%);
-  background: -o-linear-gradient(top, #fff 0%,#ddd 100%);
-  background: -ms-linear-gradient(top, #fff 0%,#ddd 100%);
-  background: linear-gradient(top, #fff 0%,#ddd 100%);
+  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #fff), color-stop(100%, #ddd));
+  background: -webkit-linear-gradient(top, #fff 0%, #ddd 100%);
+  background: -o-linear-gradient(top, #fff 0%, #ddd 100%);
+  background: -ms-linear-gradient(top, #fff 0%, #ddd 100%);
+  background: linear-gradient(top, #fff 0%, #ddd 100%);
 }
 
 header ul a:active {
@@ -166,61 +163,61 @@ header ul a:active {
 }
 
 strong {
-  color:#222;
-  font-weight:700;
+  color: #222;
+  font-weight: 700;
 }
 
 header ul li + li {
-  width:88px;
-  border-left:1px solid #fff;
+  width: 88px;
+  border-left: 1px solid #fff;
 }
 
 header ul li + li + li {
-  border-right:none;
-  width:89px;
+  border-right: none;
+  width: 89px;
 }
 
 header ul a strong {
-  font-size:14px;
-  display:block;
-  color:#222;
+  font-size: 14px;
+  display: block;
+  color: #222;
 }
 
 section {
-  width:500px;
-  float:right;
-  padding-bottom:50px;
+  width: 500px;
+  float: right;
+  padding-bottom: 50px;
 }
 
 small {
-  font-size:11px;
+  font-size: 11px;
 }
 
 hr {
-  border:0;
-  background:#e5e5e5;
-  height:1px;
-  margin:0 0 20px;
+  border: 0;
+  background: #e5e5e5;
+  height: 1px;
+  margin: 0 0 20px;
 }
 
 footer {
-  width:270px;
-  float:left;
-  position:fixed;
-  bottom:50px;
+  width: 270px;
+  float: left;
+  position: fixed;
+  bottom: 50px;
 }
 
 @media print, screen and (max-width: 960px) {
 
   div.wrapper {
-    width:auto;
-    margin:0;
+    width: auto;
+    margin: 0;
   }
 
   header, section, footer {
-    float:none;
-    position:static;
-    width:auto;
+    float: none;
+    position: static;
+    width: auto;
   }
 
   header {
@@ -228,55 +225,55 @@ footer {
   }
 
   section {
-    border:1px solid #e5e5e5;
-    border-width:1px 0;
-    padding:20px 0;
-    margin:0 0 20px;
+    border: 1px solid #e5e5e5;
+    border-width: 1px 0;
+    padding: 20px 0;
+    margin: 0 0 20px;
   }
 
   header a small {
-    display:inline;
+    display: inline;
   }
 
   header ul {
-    position:absolute;
-    right:50px;
-    top:52px;
+    position: absolute;
+    right: 50px;
+    top: 52px;
   }
 }
 
 @media print, screen and (max-width: 720px) {
   body {
-    word-wrap:break-word;
+    word-wrap: break-word;
   }
 
   header {
-    padding:0;
+    padding: 0;
   }
 
   header ul, header p.view {
-    position:static;
+    position: static;
   }
 
   pre, code {
-    word-wrap:normal;
+    word-wrap: normal;
   }
 }
 
 @media print, screen and (max-width: 480px) {
   body {
-    padding:15px;
+    padding: 15px;
   }
 
   header ul {
-    display:none;
+    display: none;
   }
 }
 
 @media print {
   body {
-    padding:0.4in;
-    font-size:12pt;
-    color:#444;
+    padding: 0.4in;
+    font-size: 12pt;
+    color: #444;
   }
 }