From 229198491cc057bdd0c4b0eb2fb3af19c2a1764e Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Thu, 18 Dec 2025 00:34:12 +0100
Subject: [PATCH] Fix highlighting

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4d6abfcfd1..c8e06b3031 100644
--- a/README.md
+++ b/README.md
@@ -101,7 +101,7 @@ Furthermore, our [paper in the Journal of Automated Reasoning](https://link.spri
 
 To cite Theta as a tool, please use the following paper.
 
-```
+```bibtex
 @inproceedings{theta-fmcad2017,
     author     = {T\'oth, Tam\'as and Hajdu, \'{A}kos and V\"or\"os, Andr\'as and Micskei, Zolt\'an and Majzik, Istv\'an},
     year       = {2017},
@@ -115,6 +115,7 @@ To cite Theta as a tool, please use the following paper.
 ```
 
 ## Acknowledgements
+
 Supporters of the Theta project are listed below.
 
 * [MTA-BME Lendület Cyber-Physical Systems Research Group](http://lendulet.inf.mit.bme.hu/)