From 6ceb6209ed6efee322f5f8e8453bba93cde85c20 Mon Sep 17 00:00:00 2001 From: Alan Plum Date: Fri, 24 May 2019 16:01:56 +0200 Subject: [PATCH] Update index.html (#9097) --- js/server/assets/swagger/index.html | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/js/server/assets/swagger/index.html b/js/server/assets/swagger/index.html index d9f3d70ba2..73c10b4f65 100644 --- a/js/server/assets/swagger/index.html +++ b/js/server/assets/swagger/index.html @@ -44,6 +44,13 @@ font-weight: 100 !important; } + /* This fixes what seems to be a bug in the swagger-ui stylesheet + * causing syntax-highlighted code to have random white-on-gray text. + */ + .swagger-ui .opblock-body pre span{ + color: #000 !important; + } + /* The topbar lets the user pick arbitrary URLs. * We don't need this feature in ArangoDB. */