       padding-top: 1em;
        margin-left: 0;
        margin-right: 0;
      }
      /*]]>*/
    </style>
    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/github.min.css" />
    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
    <script>
      hljs.configure({ cssSelector: "pre" });
      hljs.highlightAll();
    </script>
  </head>

  <body>
    <div id="logo">
      <img alt="" src="ex/images/logo400x