tor

commit d7872b775d77fb40a88695b5bea11f751262ad1f
parent bd6bd7d28eb2718b6c2bfd9fa60d1a855d177f5d
Author: Nick Mathewson <nickm@torproject.org>
Date:   Tue,  5 Nov 2019 13:04:51 -0500

Doxygen: provide a style sheet

This sheet tries to make links to the source code browser less obtrusive.

Diffstat:
M
Doxyfile.in
 | 
2
+-
M
doc/include.am
 | 
1
+
A
doc/tor-doxygen.css
 | 
10
++++++++++

3 files changed, 12 insertions(+), 1 deletion(-)
diff --git 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
@@ -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
@@ -0,0 +1,10 @@
+
+p.definition {
+    font-size: small;
+    padding-left: 1.5em;
+}
+
+p.reference {
+    font-size: small;
+    padding-left: 1.5em;
+}