From 25e4429f0bbe38928c02745d21d3657007e38be1 Mon Sep 17 00:00:00 2001
From: tejas bhuwania <tejasbhuwania2805@gmail.com>
Date: Mon, 17 Feb 2020 12:37:22 +0530
Subject: [PATCH] make highlighting bold

---
 docs/css/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/css/main.css b/docs/css/main.css
index 8f21f99265..d5946f82b0 100644
--- a/docs/css/main.css
+++ b/docs/css/main.css
@@ -1,5 +1,5 @@
 mark {
-    background-color: rgba(255, 231, 2, 0.15);
+    background-color: #ff0;
     border-radius: 5px;
     padding-top: 0;
     padding-bottom: 0;