Some layout tweaks

index.html

@@ -11,10 +11,12 @@
     <div>
     <h1>Greg Shuflin - Software Developer</h1>
 
+    <section class="important-links">
+    <p>Download a copy of <a href="./resume/Greg Shuflin resume.pdf">my resume</a>.
+
     <p>Contact me via <a class="emailLink" href="mailto:greg.shuflin+developerportfolio@protonmail.com">greg.shuflin@protonmail.com</a>
     or <a href='https://www.linkedin.com/in/gregshuflin/'>LinkedIn</a>.
 
-    <p>Download a copy of <a href="./resume/Greg Shuflin resume.pdf">my resume</a>.
 
     <p>See open-source code I've written:
     <ul>
@@ -22,6 +24,7 @@
         <li> <a href="https://github.com/neunenak">@neunenak</a> (personal GitHub account)
         <li> <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a> (self-hosted <a href="https://gitea.com/">Gitea</a> instance).
     </ul>
+    </section>
 
     </div>
 
@@ -39,12 +42,17 @@
    dabble in 3d graphics, functional programming/type theory, programming
    language design, and mucking about with microcontrollers.
 
-   <p>I've shipped code in Rust, Python, C, C++, Ruby (on Rails), Scala, Elm, and
+   <p>I've shipped code in <strong>Rust</strong>, <strong>Python</strong>,
-   Haskell. My educational credentials are a BA in Linguistics, Computer
+   <strong>C/C++</strong>, <strong>Ruby</strong> (on Rails),
-   Science and Japanese from the University of California, Berkeley. My language
+   <strong>Scala</strong>, <strong>Elm</strong>, and <strong>Haskell</strong>.
-   of choice for most sorts of software project is Rust these days, but there's a
+   My educational credentials are B.A.s in <strong>Linguistics</strong>,
-   whole wide world out there of interesting developments in programming language
+   <strong>Computer Science</strong> and <strong>Japanese</strong> from the
-   research - I'd love to write, say, Idris for a living one day.
+   <strong>University of California, Berkeley</strong>. My language of choice
+   for most sorts of software project is Rust these days, but there's a whole
+   wide world out there of interesting developments in programming language
+             research - I'd love to write, say, <a
+                 href="https://www.idris-lang.org/">Idris</a> for a living one
+             day.
 
    <p>My passion as a software developer is software correctness - I think the
    industry as a whole places too little emphasis on writing software that does
@@ -55,36 +63,45 @@
 
    <h2>Open-source contributions</h2>
 
-   <p>I recently started porting the <a href="https://github.com/neunenak/sshfs">SSHFS</a> UNIX utility
+    <p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
-   from C to Rust.
+    used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past, and still use it
+    for contributing to projects that use Github as their main git repository host. I've moved most of my personal code
+    to a self-hosted <a href="https://gitea.com">Gitea</a> instance at <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a>, to
+    reduce my dependency on cloud services I have no control over.
 
-   <p>I'm a user of and <a
+   <ul>
-       href="https://github.com/casey/just/commits?author=neunenak">occasional
+
-       contributor to</a> the <a href="https://github.com/casey/just">just</a>
+       <li>As part of my work at Toolchain Labs, I was a <a
-   command runner
+               href="https://github.com/pantsbuild/pants/commits?author=gshuflin">contributor</a>
+           to the <a href="https://www.pantsbuild.org/">Pants</a> build system.
+           Much of my work on this project involved porting the codebase from a
+           legacy Python execution engine to a modern and more performant Rust
+           execution engine
+
+    <li>I'm a user of and <a
+        href="https://github.com/casey/just/commits?author=neunenak">occasional
+        contributor to</a> the <a href="https://github.com/casey/just">just</a>
+    command runner, written in Rust.
 
 
-   <p>As part of my work at Toolchain Labs, I was a
-   <a href="https://github.com/pantsbuild/pants/commits?author=gshuflin">contributor</a>
-   to the <a href="https://www.pantsbuild.org/">Pants</a> build system. Much of my work
-   on this project involved porting the codebase from a legacy Python execution engine
-   to a modern and more performant Rust execution engine.
 
-   <p>I recently contributed a basic <a href="https://github.com/koka-lang/koka/pull/193/commits/ab290a41a4249450d9934a4c23d2b8ed7e98b448">Vim plugin</a>
+   <li>I contributed a basic <a
-   for the <a href="https://koka-lang.github.io/koka/doc/book.html">Koka</a> language, an research programming language experimenting with the very
+           href="https://github.com/koka-lang/koka/pull/193/commits/ab290a41a4249450d9934a4c23d2b8ed7e98b448">Vim
-   neat idea of algebraic effect systems.
+           plugin</a> for the <a
+       href="https://koka-lang.github.io/koka/doc/book.html">Koka</a> language,
+   an research programming language experimenting with the very neat idea of
+   algebraic effect systems.
 
-   <p>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
+   <li>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
     for highlighting stderr console output</a>, inspired by Mike Schiraldi's hilite utility, which
     I used at Meraki for making the actual errors more obvious in lengthy C++ compiler output.  It
     is published on <a href="https://crates.io/crates/hilite">crates.io</a>.
 
+    <li>I recently started porting the <a href="https://github.com/neunenak/sshfs">SSHFS</a> UNIX utility
+    from C to Rust.
+   </ul>
+
 
-   <p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
-   used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past, and still use it
-   for contributing to projects that use Github as their main git repository host. I've moved most of my personal code
-   to a self-hosted <a href="https://gitea.com">Gitea</a> instance at <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a>, to
-   reduce my dependency on cloud services I have no control over.
 
    <h2>Some personal projects</h2>
    <p>A few side projects I've worked on

style.css

@@ -20,6 +20,10 @@ header {
     width:960px;
 }
 
+section.important-links {
+    font-size: large;
+}
+
 body {
     background-color:#2B2B4D;
     color: white;