From 901a2feeb2568649113cf7e6c15bf34fa0ed43b9 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Fri, 7 Jul 2017 17:19:58 +0200
Subject: [PATCH] Do only show TOP-titles in italic
/close #138
---
static/css/style.css | 1 +
1 file changed, 1 insertion(+)
diff --git a/static/css/style.css b/static/css/style.css
index 4473297..1645c00 100644
--- a/static/css/style.css
+++ b/static/css/style.css
@@ -47,6 +47,7 @@ pre.error-description {
.expansion-text {
display: none;
+ font-style: normal;
}
textarea {
--
GitLab