diff --git a/schema_salad/makedoc.py b/schema_salad/makedoc.py index daf70ec1..9ed821ec 100644 --- a/schema_salad/makedoc.py +++ b/schema_salad/makedoc.py @@ -55,7 +55,7 @@ def __init__(self): # type: () -> None self.options = {} def header(self, text, level, raw=None): # type: (Text, int, Any) -> Text - return """%s""" % (level, to_id(text), text, level) + return """%s §""" % (level, to_id(text), text, to_id(text), level) def table(self, header, body): # type: (Text, Text) -> Text return ( @@ -483,6 +483,13 @@ def avrold_doc(j, # type: List[Dict[Text, Any]] margin-left: 2em; margin-right: 2em; } + .section a { + visibility: hidden; + } + .section:hover a { + visibility: visible; + color: rgb(201, 201, 201); + } .responsive-table-header { text-align: left; padding: 8px;