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-141684: [follow-up] derived font size from UI settings

Browse Source
This commit is contained in:
Anton Tarasov
2015-09-23 17:44:32 +03:00
parent 2bfc764765
commit 55078ba93b
7 changed files with 7 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/resources/tips/css/tips.css
+1 -1
View File
@@ -11,7 +11,7 @@ h1, p, ul {
font-family: 'Lucida Console', monospace;
}
h1, p, pre, ul {
font-size: 10px;
/*font-size: 10px;*/
/*color: #3f3f3f;*/
}
p, ul {
python/resources/tips/css/tips_darcula.css
+1 -1
View File
@@ -26,7 +26,7 @@ h1, p, ul {
font-family: 'Lucida Console', monospace;
}
h1, p, pre, ul {
font-size: 10px;
/*font-size: 10px;*/
/*color: #3f3f3f;*/
}
p, ul {