[cleanup] Power button SVG adjustments.

ui-css/coq-base.css

@@ -273,6 +273,10 @@ body.jscoq-main .CodeMirror-linenumber {
 
 #hide-panel {
   cursor: pointer;
+  width: 32px;
+  position: absolute;
+  left: -34px;
+  top: 2px
 }
 
 #hide-panel g path {

ui-images/assets/power-button.svg

+<svg viewBox="0 0 32 32">
+  <path d="M16.001,0C7.165,0,0,7.164,0,16.001S7.162,32,16.001,32C24.838,32,32,24.835,32,15.999S24.838,0,16.001,0L16.001,0z"/>
+  <g>
+    <path fill="#FFFFFF" d="M14.5,4.212c0-0.895,0.607-1.617,1.501-1.617c0.893,0,1.5,0.722,1.5,1.617v11.124
+                        c0,0.892-0.607,1.614-1.499,1.614c-0.894,0-1.501-0.722-1.501-1.614z"/>
+    <path fill="#FFFFFF" d="M16,27.317c-6.244,0-11.321-5.08-11.321-11.321c0-4.049,2.188-7.817,5.711-9.831
+                        c0.772-0.441,1.761-0.173,2.203,0.6c0.444,0.775,0.174,1.761-0.6,2.206c-2.519,1.441-4.083,4.133-4.083,7.025
+                        c0,4.462,3.629,8.09,8.09,8.09c4.459,0,8.091-3.628,8.091-8.09c0-2.892-1.567-5.584-4.086-7.025
+                        c-0.773-0.444-1.043-1.431-0.599-2.206c0.444-0.773,1.43-1.044,2.203-0.6c3.523,2.014,5.711,5.782,5.711,9.831
+                        C27.32,22.237,22.243,27.317,16.001,27.317z"/>
+  </g>
+</svg>
\ No newline at end of file

ui-js/coq-layout-classic.js

@@ -19,16 +19,16 @@ class CoqLayoutClassic {
 
     html(base_path) {
         var html = `
-    <svg id="hide-panel" style="position:absolute; left:-34px; top:2px" title="Toggle panel (F8)" width="32" height="32">
+    <svg id="hide-panel" viewBox="0 0 32 32" title="Toggle panel (F8)">
       <path d="M16.001,0C7.165,0,0,7.164,0,16.001S7.162,32,16.001,32C24.838,32,32,24.835,32,15.999S24.838,0,16.001,0L16.001,0z"/>
       <g>
-        <path fill="#FFFFFF" d="M14,4.212c0-0.895,0.607-1.617,1.501-1.617C16.393,2.595,17,3.317,17,4.212v11.124
-                            c0,0.892-0.607,1.614-1.499,1.614c-0.894,0-1.501-0.722-1.501-1.614V4.212z"/>
-        <path fill="#FFFFFF" d="M16.001,27.817c-6.244,0-11.321-5.08-11.321-11.321c0-4.049,2.188-7.817,5.711-9.831
+        <path fill="#FFFFFF" d="M14.5,4.212c0-0.895,0.607-1.617,1.501-1.617c0.893,0,1.5,0.722,1.5,1.617v11.124
+                            c0,0.892-0.607,1.614-1.499,1.614c-0.894,0-1.501-0.722-1.501-1.614z"/>
+        <path fill="#FFFFFF" d="M16,27.317c-6.244,0-11.321-5.08-11.321-11.321c0-4.049,2.188-7.817,5.711-9.831
                             c0.772-0.441,1.761-0.173,2.203,0.6c0.444,0.775,0.174,1.761-0.6,2.206c-2.519,1.441-4.083,4.133-4.083,7.025
                             c0,4.462,3.629,8.09,8.09,8.09c4.459,0,8.091-3.628,8.091-8.09c0-2.892-1.567-5.584-4.086-7.025
                             c-0.773-0.444-1.043-1.431-0.599-2.206c0.444-0.773,1.43-1.044,2.203-0.6c3.523,2.014,5.711,5.782,5.711,9.831
-                            C27.32,22.737,22.243,27.817,16.001,27.817L16.001,27.817z"/>
+                            C27.32,22.237,22.243,27.317,16.001,27.317z"/>
       </g>
     </svg>        
     <div id="toolbar">