|
@@ -47,7 +47,7 @@ |
|
|
<li><a onclick="editor.raussendorf()">Raussendorf</a></li> |
|
|
<li><a onclick="editor.raussendorf()">Raussendorf</a></li> |
|
|
<li><a onclick="share()">Share</a></li> |
|
|
<li><a onclick="share()">Share</a></li> |
|
|
<li><a href="/{{uuid}}/download">Download</a></li> |
|
|
<li><a href="/{{uuid}}/download">Download</a></li> |
|
|
<li><input id=curvy type="checkbox"></input> Curved edges</li> |
|
|
|
|
|
|
|
|
<li><input id=curvy type="checkbox" checked></input> Curved edges</li> |
|
|
<li><a href="/doc" id=help>Documentation</a></li> |
|
|
<li><a href="/doc" id=help>Documentation</a></li> |
|
|
</ul> |
|
|
</ul> |
|
|
</div> |
|
|
</div> |
|
|