update

Author: zzigak

images/fig1.png

@@ -5,7 +5,7 @@
 	<link rel="icon" href="index_files/favicon.png" type="image/png">
 	<link rel="preconnect" href="https://fonts.googleapis.com">
 	<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
-	<link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&display=swap" rel="stylesheet">
+	<link href="https://fonts.googleapis.com/css2?family=Noto+Serif:wght@400;500;600;700&display=swap" rel="stylesheet">
 	<meta name="description" content="Refactoring Codebases through Library Design">
 	<meta name="keywords" content="research, computer science">
 	<meta http-equiv="content-type" content="text/html; charset=utf-8">
@@ -54,7 +54,7 @@ <h1>Refactoring Codebases through Library Design</h1>
 		</nav>
 
 		<figure id="teaser">
-			<img src="images/fig1.svg" alt="teaser">
+			<img src="images/fig1.png" alt="teaser">
 			<figcaption style="text-align: center;">Given a collection of different code sources, where a source is either program or repository, agents must design a modular and reusable library. Libraries are evaluated by how well the refactoring compress the original code, while at least maintaining correctness.</figcaption>
 		</figure>
 	</header>

index.html

@@ -19,7 +19,7 @@
 body {
 	font-family: 'Noto Serif', Georgia, serif;
 	font-size: 16px;
-	line-height: 1.6;
+	line-height: 1.5;
 	font-weight: 400;
 	background-color: var(--nord6);
 	color: var(--nord1);
@@ -38,13 +38,13 @@ h1, h2, h3, h4, h5, h6 {
 h1 {
 	text-align: center;
 	font-size: 2.5em;
-	margin: 1em 0 0.5em 0;
+	margin: 0.75em 0 0.35em 0;
 }
 
 h2 {
 	font-size: 1.2em;
 	text-align: center;
-	margin: 1em 0;
+	margin: 0.75em 0;
 }
 
 /* Links */
@@ -59,7 +59,7 @@ a:hover {
 
 /* Navigation */
 nav > ul {
-	margin: 1.5em 0;
+	margin: 1em 0;
 	list-style-type: none;
 	font-weight: bold;
 	font-size: 110%;
@@ -73,13 +73,14 @@ nav > ul > li {
 
 .nav-button {
 	display: inline-block;
-	padding: 0.5em 1em;
+	padding: 0.35em 0.75em;
 	background-color: var(--nord5);
 	border: 1px solid var(--nord4);
 	border-radius: 4px;
 	color: var(--nord10) !important;
 	text-decoration: none;
 	transition: all 0.2s ease;
+	font-size: 0.9em;
 }
 
 .nav-button:hover {
@@ -95,7 +96,7 @@ nav > ul > li {
 /* Authors section */
 .authors {
 	text-align: center;
-	margin: 1.5em 0;
+	margin: 1em 0;
 	font-size: 1.1em;
 }
 
@@ -151,10 +152,14 @@ nav > ul > li {
 }
 
 /* Teaser figure */
+#teaser {
+	margin-bottom: 2em;
+}
+
 #teaser > img {
 	width: 100%;
 	margin: 0 0 0.5em 0;
-	border-radius: 4px;
+	border-radius: 8px;
 }
 
 #teaser > figcaption {
@@ -166,6 +171,7 @@ nav > ul > li {
 /* Citation section */
 .section {
 	padding: 3rem 1.5rem;
+	margin-top: 1.5em;
 }
 
 .container {