t).ready(function() {$('a:has(img)').css('border-bottom', 'none')})</script>
  <link rel=stylesheet type="text/css"
      href="../../highlight.min.css">
  <script type="text/javascript"
          src="../../highlight.min.js"></script>
  <script type="text/javascript">hljs.highlightAll();</script>
 </head>
 <body>
  <div class=page><div class=sidebar><div class=header><form class=search method=GET
      action="../../search/">
      <input type=text name=q>
      <input type=submit value=Search><span id=sea