From 3ae3950c528993d96110fd76d389af5989d896ea Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 25 Apr 2017 18:41:04 +0530
Subject: [PATCH] Make the :guilabel: italic in HTML. Matches PDF output

---
 manual/templates/layout.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manual/templates/layout.html b/manual/templates/layout.html
index d8adc53738..35e02fffdb 100644
--- a/manual/templates/layout.html
+++ b/manual/templates/layout.html
@@ -7,6 +7,7 @@
         .half-with-img { max-width: 50% }
         .fit-img { max-width: 95% }
         #languages-menu { display: none }
+        .guilabel { font-style: italic }
     </style>
     <script type="text/javascript">
     function toggle_languages_menu() {