$(function() {
  prettyPrint()
  var width = 0;
  if (window.innerWidth && window.innerWidth > 0) {
    width = window.innerWidth;
  }
  else if (document.body.clientWidth && document.body.clientWidth > 0) {
    width = document.body.clientWidth;
  }
  else if (document.documentElement.clientWidth && document.documentElement.clientWidth > 0) {
    width = document.documentElement.clientWidth;
  }
  if (width > 0) {
    var middle = width/2;
    var rpos = middle + 325;
  
    $('#sidebar').css('left', rpos)
    $('#sidebar').css('display', 'inline')
  }
})