mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 18:28:55 +07:00
IDEA-345694 Rework margins and font-size for quick documentation popup
GitOrigin-RevId: 5bad86f21662ab785f4d8c62c538280a407a0352
This commit is contained in:
committed by
intellij-monorepo-bot
parent
119dc8d7ff
commit
753100fb20
@@ -11,7 +11,7 @@
|
||||
padding-left:15px;
|
||||
padding-top:1px;
|
||||
}
|
||||
</style><div class='content-only'><a name="param()">
|
||||
</style><div class='content'><a name="param()">
|
||||
<!-- -->
|
||||
</a>
|
||||
<ul class="blockListLast">
|
||||
|
||||
Reference in New Issue
Block a user