mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #208 from ethereum/css-cleanup

Browse Source 
css: consistency fixes
pull/1/head
chriseth 9 years ago committed by GitHub
parent b6356b689c 067b01e51c
commit 5576732323
2 changed files with 145 additions and 130 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 42
      assets/css/browser-solidity.css
  2. 233
      assets/css/styles.css

42
assets/css/browser-solidity.css
Unescape View File

@ -6,7 +6,6 @@ body {
} }
#editor { #editor {
position: absolute; position: absolute;
top: 0; top: 0;
left: 0; left: 0;
@ -23,7 +22,7 @@ body {
display: none; display: none;
padding: 0 0.9em; padding: 0 0.9em;
vertical-align: middle; vertical-align: middle;
background-color: rgba(255,255,255,0.8); background-color: rgba(255, 255, 255, 0.8);
height: 100%; height: 100%;
font-size: 1.3em; font-size: 1.3em;
} }
@ -70,7 +69,7 @@ body {
cursor: pointer; cursor: pointer;
border-right: 0.5em solid white; border-right: 0.5em solid white;
position: relative; position: relative;
display:table-cell; display: table-cell;
text-align: center; text-align: center;
vertical-align: middle; vertical-align: middle;
color: #999; color: #999;
@ -121,7 +120,9 @@ body {
margin: 0.5em 0; margin: 0.5em 0;
} }
#files .file.active .remove { display: inline-block; } #files .file.active .remove {
display: inline-block;
}
#input { #input {
border-top: 3px solid #F4F6FF; border-top: 3px solid #F4F6FF;
@ -203,19 +204,36 @@ body {
padding: 1em 0.5em 0.5em; padding: 1em 0.5em 0.5em;
} }
#header #optionViews.txView #txView { display: block; } #header #optionViews.txView #txView {
#header #optionViews.settingsView #settingsView { display: block; } display: block;
#header #optionViews.publishView #publishView { display: block; } }
#header #optionViews.envView #envView { display: block; }
#header #optionViews.debugView #debugView { display: block; } #header #optionViews.settingsView #settingsView {
#header #optionViews.verificationView #verificationView { display: block; } 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 input,
#header #optionViews.txView select { #header #optionViews.txView select {
max-width: 13em; max-width: 13em;
padding: 0.3em; padding: 0.3em;
box-sizing: border-box; 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; border-radius: 3px;
} }
@ -362,7 +380,7 @@ body {
.sol.warning .close { .sol.warning .close {
font-weight: bold; font-weight: bold;
position: absolute; position: absolute;
color: rgba(0,0,0,0.5); color: rgba(0, 0, 0, 0.5);
top: 0; top: 0;
right: 0; right: 0;
padding: 0.5em; padding: 0.5em;

233
assets/css/styles.css
Unescape View File

@ -1,10 +1,10 @@
/*@import url(https://fonts.googleapis.com/css?family=Lato:300italic,700italic,300,700);*/ /*@import url(https://fonts.googleapis.com/css?family=Lato:300italic,700italic,300,700);*/
body { body {
padding:50px; padding: 50px;
font:14px/1.5 Lato, "Helvetica Neue", Helvetica, Arial, sans-serif; font: 14px/1.5 Lato, "Helvetica Neue", Helvetica, Arial, sans-serif;
color:#777; color: #777;
font-weight:300; font-weight: 300;
} }
h1, h2, h3, h4, h5, h6 { h1, h2, h3, h4, h5, h6 {
@ -12,151 +12,148 @@ h1, h2, h3, h4, h5, h6 {
} }
p, ul, ol, table, pre, dl { p, ul, ol, table, pre, dl {
margin:0 0 20px; margin: 0 0 20px;
} }
h1, h2, h3 { h1, h2, h3 {
line-height:1.1; line-height: 1.1;
} }
h1 { h1 {
font-size:28px; font-size: 28px;
} }
h2 { h2 {
color:#393939; color: #393939;
} }
a { a {
color:#39c; color: #39c;
font-weight:400; font-weight: 400;
text-decoration:none; text-decoration: none;
} }
a:hover { a:hover {
color:#069; color: #069;
} }
a small { a small {
font-size:11px; font-size: 11px;
color:#777; color: #777;
margin-top:-0.6em; margin-top: -0.6em;
display:block; display: block;
} }
a:hover small { a:hover small {
color:#777; color: #777;
} }
.wrapper { .wrapper {
width:860px; width: 860px;
margin:0 auto; margin: 0 auto;
} }
blockquote { blockquote {
border-left:1px solid #e5e5e5; border-left: 1px solid #e5e5e5;
margin:0; margin: 0;
padding:0 0 0 20px; padding: 0 0 0 20px;
font-style:italic; font-style: italic;
} }
code, pre { code, pre {
font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, monospace; font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, monospace;
color:#333; color: #333;
font-size:12px; font-size: 12px;
} }
pre { pre {
padding:8px 15px; padding: 8px 15px;
background: #f8f8f8; background: #f8f8f8;
border-radius:5px; border-radius: 5px;
border:1px solid #e5e5e5; border: 1px solid #e5e5e5;
overflow-x: auto; overflow-x: auto;
} }
table { table {
width:100%; width: 100%;
border-collapse:collapse; border-collapse: collapse;
} }
th, td { th, td {
text-align:left; text-align: left;
padding:5px 10px; padding: 5px 10px;
border-bottom:1px solid #e5e5e5; border-bottom: 1px solid #e5e5e5;
} }
dt { dt {
color:#444; color: #444;
font-weight:700; font-weight: 700;
} }
th { th {
color:#444; color: #444;
} }
img { img {
max-width:100%; max-width: 100%;
} }
header { header {
width:270px; width: 270px;
float:left; float: left;
position:fixed; position: fixed;
} }
header ul { header ul {
list-style:none; list-style: none;
height:40px; height: 40px;
padding: 0;
padding:0;
background: #eee; background: #eee;
background: -moz-linear-gradient(top, #f8f8f8 0%, #dddddd 100%); 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-gradient(linear, left top, left bottom, color-stop(0%, #f8f8f8), color-stop(100%, #dddddd));
background: -webkit-linear-gradient(top, #f8f8f8 0%,#dddddd 100%); background: -webkit-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
background: -o-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: -ms-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
background: linear-gradient(top, #f8f8f8 0%,#dddddd 100%); background: linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
border-radius: 5px;
border-radius:5px; border: 1px solid #d2d2d2;
border:1px solid #d2d2d2; box-shadow: inset #fff 0 1px 0, inset rgba(0, 0, 0, 0.03) 0 -1px 0;
box-shadow:inset #fff 0 1px 0, inset rgba(0,0,0,0.03) 0 -1px 0; width: 270px;
width:270px;
} }
header li { header li {
width:89px; width: 89px;
float:left; float: left;
border-right:1px solid #d2d2d2; border-right: 1px solid #d2d2d2;
height:40px; height: 40px;
} }
header li:first-child a { header li:first-child a {
border-radius:5px 0 0 5px; border-radius: 5px 0 0 5px;
} }
header li:last-child a { header li:last-child a {
border-radius:0 5px 5px 0; border-radius: 0 5px 5px 0;
} }
header ul a { header ul a {
line-height:1; line-height: 1;
font-size:11px; font-size: 11px;
color:#999; color: #999;
display:block; display: block;
text-align:center; text-align: center;
padding-top:6px; padding-top: 6px;
height:34px; height: 34px;
} }
header ul a:hover { header ul a:hover {
color:#999; color: #999;
background: -moz-linear-gradient(top, #fff 0%, #ddd 100%); 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-gradient(linear, left top, left bottom, color-stop(0%, #fff), color-stop(100%, #ddd));
background: -webkit-linear-gradient(top, #fff 0%,#ddd 100%); background: -webkit-linear-gradient(top, #fff 0%, #ddd 100%);
background: -o-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: -ms-linear-gradient(top, #fff 0%, #ddd 100%);
background: linear-gradient(top, #fff 0%,#ddd 100%); background: linear-gradient(top, #fff 0%, #ddd 100%);
} }
header ul a:active { header ul a:active {
@ -166,61 +163,61 @@ header ul a:active {
} }
strong { strong {
color:#222; color: #222;
font-weight:700; font-weight: 700;
} }
header ul li + li { header ul li + li {
width:88px; width: 88px;
border-left:1px solid #fff; border-left: 1px solid #fff;
} }
header ul li + li + li { header ul li + li + li {
border-right:none; border-right: none;
width:89px; width: 89px;
} }
header ul a strong { header ul a strong {
font-size:14px; font-size: 14px;
display:block; display: block;
color:#222; color: #222;
} }
section { section {
width:500px; width: 500px;
float:right; float: right;
padding-bottom:50px; padding-bottom: 50px;
} }
small { small {
font-size:11px; font-size: 11px;
} }
hr { hr {
border:0; border: 0;
background:#e5e5e5; background: #e5e5e5;
height:1px; height: 1px;
margin:0 0 20px; margin: 0 0 20px;
} }
footer { footer {
width:270px; width: 270px;
float:left; float: left;
position:fixed; position: fixed;
bottom:50px; bottom: 50px;
} }
@media print, screen and (max-width: 960px) { @media print, screen and (max-width: 960px) {
div.wrapper { div.wrapper {
width:auto; width: auto;
margin:0; margin: 0;
} }
header, section, footer { header, section, footer {
float:none; float: none;
position:static; position: static;
width:auto; width: auto;
} }
header { header {
@ -228,55 +225,55 @@ footer {
} }
section { section {
border:1px solid #e5e5e5; border: 1px solid #e5e5e5;
border-width:1px 0; border-width: 1px 0;
padding:20px 0; padding: 20px 0;
margin:0 0 20px; margin: 0 0 20px;
} }
header a small { header a small {
display:inline; display: inline;
} }
header ul { header ul {
position:absolute; position: absolute;
right:50px; right: 50px;
top:52px; top: 52px;
} }
} }
@media print, screen and (max-width: 720px) { @media print, screen and (max-width: 720px) {
body { body {
word-wrap:break-word; word-wrap: break-word;
} }
header { header {
padding:0; padding: 0;
} }
header ul, header p.view { header ul, header p.view {
position:static; position: static;
} }
pre, code { pre, code {
word-wrap:normal; word-wrap: normal;
} }
} }
@media print, screen and (max-width: 480px) { @media print, screen and (max-width: 480px) {
body { body {
padding:15px; padding: 15px;
} }
header ul { header ul {
display:none; display: none;
} }
} }
@media print { @media print {
body { body {
padding:0.4in; padding: 0.4in;
font-size:12pt; font-size: 12pt;
color:#444; color: #444;
} }
} }

Write Preview
Loading…
Cancel
Save