Minor Changes

Author: rcosta358

_layouts/default.html

@@ -20,7 +20,7 @@
     {% include components/header.html %}
     <div class="main-content-wrap">
       {% include components/breadcrumbs.html %}
-      <div id="main-content" class="main-content">
+      <div id="main-content" class="main-content" tabindex="-1">
         <main>
           {% if site.heading_anchors != false %}
             {% include vendor/anchor_headings.html html=content beforeHeading="true" anchorBody="<svg viewBox=\"0 0 16 16\" aria-hidden=\"true\"><use xlink:href=\"#svg-link\"></use></svg>" anchorClass="anchor-heading" anchorAttrs="aria-labelledby=\"%html_id%\"" %}

pages/resources.md

@@ -14,7 +14,7 @@ description: Find LiquidJava papers, posters, and source repositories for deeper
 
 ## Posters
 
-- [Usability-Oriented Design of Liquid Types for Java](https://icse2023.paperlessevents.com.au/share/Gamboa-85), ICSE 2023 Digital Poster Session
+- [Usability-Oriented Design of Liquid Types for Java](https://conf.researchr.org/details/icse-2023/icse-2023-technical-track/142/Usability-Oriented-Design-of-Liquid-Types-for-Java), ICSE 2023 Poster Session
 - [LiquidJava: Adding Lightweight Verification to Java](https://catarinagamboa.github.io/assets/docs/poster_LiquidJava.pdf), INForum 2021
 - [Improving the Usability of LiquidJava](https://rcosta358.github.io/improving_the_usability_of_liquidjava.pdf), 11th LASIGE Workshop Poster Session
 - [Barista: Synthesizing Typestate Specifications with LLM Agents](https://rcosta358.github.io/barista.pdf), 11th LASIGE Workshop Poster Session