From f18463d29b4c9706070a2696e19bcacf6b994d39 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Wed, 2 Apr 2014 01:30:47 +0200
Subject: [PATCH] set proper fg and remove border

---
 platform/platform-resources-en/src/tips/css/tips_darcula.css | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/platform/platform-resources-en/src/tips/css/tips_darcula.css b/platform/platform-resources-en/src/tips/css/tips_darcula.css
index 5524189d342f..061ab668c559 100644
--- a/platform/platform-resources-en/src/tips/css/tips_darcula.css
+++ b/platform/platform-resources-en/src/tips/css/tips_darcula.css
@@ -17,6 +17,7 @@ body {
     margin-left: 10px;
     margin-right: 2px;
     margin-bottom: 6px;
+    color: #bbbbbb;
 }
 h1, p, ul {
    font-family: 'MS Reference Sans Serif', verdana, arial, sans-serif;
@@ -47,9 +48,7 @@ h1, .image, pre {
 pre {
     margin-right: 6px;
     border-style: solid;
-    border-width: 1px;
-    border-color: #d0d0d0;
-    background-color: #fbfbfb;
+    padding-left: 10px;
     padding-left: 10px;
     padding-top: 6px;
     padding-bottom: 6px;