7663

src/js/staticInfo.js

@@ -160,7 +160,7 @@ function adjustHeight() {
 function adjustWidth() {
   var wt = window.innerWidth || document.documentElement.clientWidth;
   $(".titleH2").width(wt- 0.2*wt -33 - 200 - 17 - 40 -15 + 'px')
-  $("pre").width(wt- 0.2*wt - 200 + 'px')
+  $("pre").width(wt- 0.2*wt - 240 + 'px')
 }
 $(window).on('resize', function(){
   adjustHeight()