From 0ac04d39e0771e99acdc2c0a467e15fecc045cbe Mon Sep 17 00:00:00 2001
From: Henry Lee <gbvrcx@gmail.com>
Date: Thu, 8 Feb 2024 04:07:43 +0000
Subject: [PATCH] Update research section styling

---
 content/research/_index.md            | 11 ++++++-----
 layouts/_default/baseof.html          |  1 +
 layouts/partials/head/blockquote.html | 12 ++++++++++++
 3 files changed, 19 insertions(+), 5 deletions(-)
 create mode 100644 layouts/partials/head/blockquote.html

diff --git a/content/research/_index.md b/content/research/_index.md
index 0a29fec..e39b829 100644
--- a/content/research/_index.md
+++ b/content/research/_index.md
@@ -5,9 +5,10 @@ menu = 'main'
 weight = 30
 +++
 
-{{< callout markdown=true >}} **We develop techniques and tools for correct, secure, and efficient software.** {{< /callout >}}
+# Research Interest
+> *We develop techniques and tools for correct, secure, and efficient software.*
 
-# Software Testing and Fuzzing 
+## Software Testing and Fuzzing 
 
 Techniques for finding bugs in programs:
 - [Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE 2023](/papers/icse23-seamfuzz.pdf)
@@ -17,7 +18,7 @@ Techniques for finding bugs in programs:
 - [Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy. ESEC/FSE 2020](/papers/fse20.pdf)
 - [Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy. ISSTA 2020](/papers/issta20.pdf)
 
-# Static Analysis and Verification
+## Static Analysis and Verification
 
 Techniques for analyzing program behavior without execution:
 - [Learning to Boost Disjunctive Static Bug-Finders. ICSE 2023](/papers/icse23-ddinfer.pdf)
@@ -27,7 +28,7 @@ Techniques for analyzing program behavior without execution:
 - [Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling. OOPSLA 2018](/papers/oopsla18-tunneling.pdf)
 - [Data-Driven Context-Sensitivity for Points-to Analysis. OOPSLA 2017](/papers/oopsla17-oopsla242.pdf)
 
-# Program Repair and Synthesis
+## Program Repair and Synthesis
 
 Techniques for automatically fixing bugs or generating correct code:
 - [SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/FSE 2023](https://gist-pal.github.io/assets/pdf/fse23-smartfix.pdf)
@@ -37,7 +38,7 @@ Techniques for automatically fixing bugs or generating correct code:
 - [SAVER: Scalable, Precise, and Safe Memory-Error Repair. ICSE 2020](/papers/icse20.pdf)
 - [MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C](/papers/fse18.pdf)
 
-# Quantum Programming 
+## Quantum Programming 
 
 Techniques for building correct and efficient quantum programs:
 - [Modular Component-Based Quantum Circuit Synthesis. OOPSLA 2023](/papers/oopsla23-qsynth.pdf)
diff --git a/layouts/_default/baseof.html b/layouts/_default/baseof.html
index fbfc709..867d572 100644
--- a/layouts/_default/baseof.html
+++ b/layouts/_default/baseof.html
@@ -8,6 +8,7 @@
     <link rel="shortcut icon" href="/favicon.svg" />
     <title>{{ .Title }} - {{ .Site.Title }}</title>
     {{ partial "head/bootstrap5.html" . }}
+    {{ partial "head/blockquote.html" . }}
     {{ block "head" . }}{{ end }}
 </head>
 
diff --git a/layouts/partials/head/blockquote.html b/layouts/partials/head/blockquote.html
new file mode 100644
index 0000000..3d954a4
--- /dev/null
+++ b/layouts/partials/head/blockquote.html
@@ -0,0 +1,12 @@
+<style>
+    blockquote {
+        padding: 0.3rem 0.8rem;
+        margin: 0.5rem 0 1rem;
+        font-size: 17.5px;
+        border-left: 0.3rem solid #00000047;
+    }
+
+    blockquote > p {
+        margin-bottom: 0;
+    }
+</style>
\ No newline at end of file