summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGeorge Kadianakis <desnacked@riseup.net>2019-11-11 14:47:33 +0200
committerGeorge Kadianakis <desnacked@riseup.net>2019-11-11 14:47:33 +0200
commit8344776224f83e7438167039d0bbfffe0523123c (patch)
tree6f9cfc3bed6628fa4e8582c0ba41299ecaf7f6e3 /doc
parent8af8ed72b2796dcb68a9e3fb7648a1d93b0cc68d (diff)
parentd7872b775d77fb40a88695b5bea11f751262ad1f (diff)
downloadtor-8344776224f83e7438167039d0bbfffe0523123c.tar.gz
tor-8344776224f83e7438167039d0bbfffe0523123c.zip
Merge branch 'tor-github/pr/1504'
Diffstat (limited to 'doc')
-rw-r--r--doc/include.am1
-rw-r--r--doc/tor-doxygen.css10
2 files changed, 11 insertions, 0 deletions
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;
+}