new site style

en/commands.html

@@ -34,6 +34,7 @@
     <link rel="next" title="dashboard" href="dashboard.html" />
     <link rel="prev" title="Batch Processing" href="batch-support.html" />
 <script src="_static/center_page.js"></script>
+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/styles/github.min.css">
  
 
 
@@ -298,6 +299,15 @@
 
 <script type="text/javascript" src="_static/add_badges.js"></script>
 
+<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/highlight.min.js"></script>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.5.0/highlightjs-line-numbers.min.js"></script>
+<script>
+  document.querySelectorAll('div.hljs > pre').forEach(function(block) {
+    hljs.highlightBlock(block);
+    hljs.lineNumbersBlock(block);
+  });
+</script>
+
 <script>
   var _hmt = _hmt || [];
   (function() {