diff --git a/res/docpdf/make_htmldoc.py b/res/docpdf/make_htmldoc.py
index 5b1cf53e9..dc48195aa 100644
--- a/res/docpdf/make_htmldoc.py
+++ b/res/docpdf/make_htmldoc.py
@@ -116,13 +116,11 @@ if __name__ == "__main__":
}
a {
- color: #adf;
- text-decoration: none;
+ color: #3df;
}
a:visited {
- color: #adf;
- text-decoration: none;
+ color: #fd3;
}
b {