Move 'Open in editor' button to the right

Author: wilzbach

css/style.css

@@ -1739,6 +1739,9 @@ input.resetButton{display: none}
     display: inline-block;
     text-decoration: none;
 }
+.openInEditorButton {
+    float: right;
+}
 
 /* Style for the example run buttons on the Phobos library documentation */
 .d_example_buttons {

js/run_examples.js

@@ -73,9 +73,9 @@ $(document).ready(function()
                 '<div>'
                     + '<div class="d_example_buttons">'
           + '<div class="editButton"><i class="fa fa-edit" aria-hidden="true"></i> Edit</div>'
-          + '<div class="openInEditorButton"><i class="fa fa-external-link" aria-hidden="true"></i> Edit (external)</div>'
           + '<div class="runButton"><i class="fa fa-play" aria-hidden="true"></i> Run</div>'
           + '<div class="resetButton"><i class="fa fa-undo " aria-hidden="true"></i> Reset</div>'
+          + '<div class="openInEditorButton"><i class="fa fa-external-link" aria-hidden="true"></i></div>'
                     + '</div>'
                     + '<div class="d_code">'
                         + '<pre class="d_code">'+orig+'</pre>'