[tor-commits] [tor/master] Doxygen: provide a style sheet

[asn at torproject.org]

commit d7872b775d77fb40a88695b5bea11f751262ad1f
Author: Nick Mathewson <nickm at 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;
+}