Doxygen: provide a style sheet

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

3 files changed, 12 insertions, 1 deletions

diff --git a/Doxyfile.in b/Doxyfile.in
index 4569df5450..a4e4445cc8 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 a9d3fa1c98..8651f845eb 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 0000000000..97cd1886db
--- /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;
+}