4 Many of the steps in this tutorial will be easier to copy and paste
5 into the Dev Environment.
6 To copy and paste in the Dev Environment web page,
7 you can use the keyboard or the menu options (top right corner |chrome_menu|).
9 .. |chrome_menu| raw:: html
16 * |paste_key| to Paste
18 .. |copy_key| raw:: html
20 <span id="copy_key">Loading...</span>
22 var tag = document.getElementById('copy_key');
23 if (navigator.appVersion.indexOf('Mac') >= 0) {
24 tag.innerHTML = '⌘-C';
26 tag.innerHTML = 'Ctrl-C';
30 .. |paste_key| raw:: html
32 <span id="paste_key">Loading...</span>
34 var tag = document.getElementById('paste_key');
35 if (navigator.appVersion.indexOf('Mac') >= 0) {
36 tag.innerHTML = '⌘-V';
38 tag.innerHTML = 'Ctrl-V';