<html>
  <head>
    <title>AIE Control-Code ISA</title>
    <style>
      body {
        font-family: Arial, Helvetica, sans-serif;
        background-color: #f5f5f5;
      }
      main {
        display: flex;
        flex-flow: column;
        margin: 4em auto;
        max-width: 1200px;
        background-color: #fff;
        box-shadow: 0.5em 0.5em 0.5em rgba(0, 0, 0, 0.1);
      }
      .docs {
        display: flex;
        flex-direction: row-reverse;
        flex-grow: 1;
      }
      .title {
    