commit d7872b775d77fb40a88695b5bea11f751262ad1f Author: Nick Mathewson nickm@torproject.org Date: Tue Nov 5 13:04:51 2019 -0500
Doxygen: provide a style sheet
This sheet tries to make links to the source code browser less obtrusive. --- Doxyfile.in | 2 +- doc/include.am | 1 + doc/tor-doxygen.css | 10 ++++++++++ 3 files changed, 12 insertions(+), 1 deletion(-)
diff --git a/Doxyfile.in b/Doxyfile.in index 4569df545..a4e4445cc 100644 --- a/Doxyfile.in +++ b/Doxyfile.in @@ -1162,7 +1162,7 @@ HTML_STYLESHEET = # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES.
-HTML_EXTRA_STYLESHEET = +HTML_EXTRA_STYLESHEET = doc/tor-doxygen.css
# The HTML_EXTRA_FILES tag can be used to specify one or more extra images or # other source files which should be copied to the HTML output directory. Note diff --git a/doc/include.am b/doc/include.am index a9d3fa1c9..8651f845e 100644 --- a/doc/include.am +++ b/doc/include.am @@ -47,6 +47,7 @@ EXTRA_DIST+= doc/asciidoc-helper.sh \ $(html_in) $(man_in) $(txt_in) \ doc/state-contents.txt \ doc/torrc_format.txt \ + doc/tor-doxygen.css \ doc/TUNING \ doc/HACKING/README.1st.md \ doc/HACKING/CodingStandards.md \ diff --git a/doc/tor-doxygen.css b/doc/tor-doxygen.css new file mode 100644 index 000000000..97cd1886d --- /dev/null +++ b/doc/tor-doxygen.css @@ -0,0 +1,10 @@ + +p.definition { + font-size: small; + padding-left: 1.5em; +} + +p.reference { + font-size: small; + padding-left: 1.5em; +}