Fix right margin of openInEditorButton

wilzbach · wilzbach · commit 3fd3903ba05a · 2017-06-28T14:21:29.000+02:00
diff --git a/css/style.css b/css/style.css
@@ -1727,7 +1727,7 @@ input.editButton:active
 }
 input.resetButton{display: none}
 
-.editButton, .openInEditorButton, .runButton, .resetButton {
+div.editButton, div.openInEditorButton, div.runButton, div.resetButton {
     display: inline-block;
     margin-right: 10px;
     cursor: pointer;
@@ -1739,7 +1739,8 @@ input.resetButton{display: none}
     display: inline-block;
     text-decoration: none;
 }
-.openInEditorButton {
+div.openInEditorButton {
+    margin-right: 0;
     float: right;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1727,7 +1727,7 @@ input.editButton:active`
`1727`	`1727`	`}`
`1728`	`1728`	`input.resetButton{display: none}`
`1729`	`1729`
`1730`		`-.editButton, .openInEditorButton, .runButton, .resetButton {`
	`1730`	`+div.editButton, div.openInEditorButton, div.runButton, div.resetButton {`
`1731`	`1731`	`display: inline-block;`
`1732`	`1732`	`margin-right: 10px;`
`1733`	`1733`	`cursor: pointer;`
`@@ -1739,7 +1739,8 @@ input.resetButton{display: none}`
`1739`	`1739`	`display: inline-block;`
`1740`	`1740`	`text-decoration: none;`
`1741`	`1741`	`}`
`1742`		`-.openInEditorButton {`
	`1742`	`+div.openInEditorButton {`
	`1743`	`+ margin-right: 0;`
`1743`	`1744`	`float: right;`
`1744`	`1745`	`}`
`1745`	`1746`