<!DOCTYPE html>
<html>
    <head>
        <style>
        ul {
          list-style-type: none;
          margin: 0;
          padding: 0;
          overflow: hidden;
          background-color: #333;
        }
        
        li {
          float: left;
        }
        
        li a {
          display: block;
          color: white;
          text-align: center;
          padding: 14px 16px;
          text-decoration: none;
        }
        
        li a:hover {
          background-color: #111;
        }
        </style>
        </head>
    <body onload="random_pic()">
          

    <ul>
        
        <li><a href="">About</a></li>
        <li><a href="origami">Origami</a></li>
        <li><a href="research">Research</a></li>
    </ul>

    <h1>Eli Pregerson</h1>
    <img id= "elipic" src="Pictures/Me/Eli0.jpg" alt="Me in Forest" style="width:226px;height:403px;">
    <h2>About Me</h2>
    <p>I am a recent graduate of Harvey Mudd College taking a gap year with plans to get a PhD in computer science.</p>
    <h2>Links</h2>
    <a href="https://github.com/Eli-Pregerson">GitHub</a>
    <a href="https://dblp.org/pid/351/1082.html">dblp</a>
    <a href="https://www.linkedin.com/in/eli-pregerson-2841471ba/">LinkedIn</a>
    <a href="https://www.instagram.com/elip.origami/">Instagram</a>
    <a href="CV.pdf">My probably out of date CV</a>
    <script type = "text/javascript">
      image_array = [
        'Eli0.jpg',
        'Eli1.jpg',
        'Eli2.jpg',
      ];
      sizes = [
        "width:226px;height:403px;",
        "width:226px;height:226px;",
        "width:226px;height:300px;",
      ];
      function random_pic()
      {
        const random_index = Math.floor(Math.random() * image_array.length);
        const selected_image = image_array[random_index];
        const selected_style = sizes[random_index];
        document.getElementById('elipic').src = `./Pictures/Me/${selected_image}`;
        document.getElementById('elipic').style = selected_style;
      }
      
      </script>
    </body>
</html>