MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-06 20:39:40 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-27049: Decrease heading size in quick documentation

Browse Source 
GitOrigin-RevId: 5fdb58c9905b20f1e33dfd9534016b5c91e4e3c7
This commit is contained in:
Irina Fediaeva
2023-01-30 16:03:31 +02:00
committed by intellij-monorepo-bot
parent b7af2bf2f5
commit c381659535
4 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/helpers/docstring_formatter.py
View File

@@ -134,19 +134,19 @@ def format_rest(docstring):
return HTMLTranslator.starttag(self, node, tagname, suffix, **attributes)
def visit_rubric(self, node):
self.body.append(self.starttag(node, 'h1', '', CLASS='rubric'))
self.body.append(self.starttag(node, 'h4', '', CLASS='rubric'))
def depart_rubric(self, node):
self.body.append('</h1>\n')
self.body.append('</h4>\n')
def visit_note(self, node):
self.body.append('<h1 class="heading">Note</h1>\n')
self.body.append('<h4 class="heading">Note</h4>\n')
def depart_note(self, node):
pass
def visit_seealso(self, node):
self.body.append('<h1 class="heading">See Also</h1>\n')
self.body.append('<h4 class="heading">See Also</h4>\n')
def depart_seealso(self, node):
pass