MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-122404 Dark font in tip of the day. PyCharm

Browse Source
This commit is contained in:
Konstantin Bulenkov
2015-06-03 17:57:24 +02:00
parent 97d650e902
commit 6f002666ad
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/resources/tips/css/tips_darcula.css
+3 -3
View File
@@ -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,8 @@ h1, .image, pre {
pre {
margin-right: 6px;
border-style: solid;
border-width: 1px;
border-color: #d0d0d0;
background-color: #fbfbfb;
border-width: 0px;
padding-left: 10px;
padding-left: 10px;
padding-top: 6px;
padding-bottom: 6px;