body{font-size:120%;line-height:1.5;text-align:justify}@media (max-width: 1000px){body{padding:20px}}@media not (max-width: 1000px){body{padding-top:20px;padding-left:20%;padding-right:20%;padding-bottom:20px}}code{font-size:120%;padding-left:2px;padding-right:2px;display:inline-block}pre{border:1px solid #999;overflow-x:scroll;-webkit-overflow-scrolling:touch}td{padding-right:5px}