aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/eigendoxy.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/eigendoxy.css')
-rw-r--r--doc/eigendoxy.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index 949a1368a..1e20503c5 100644
--- a/doc/eigendoxy.css
+++ b/doc/eigendoxy.css
@@ -451,7 +451,7 @@ A.top {
A.top:hover, A.logo:hover {
background-color: transparent;font-weight : bolder;
}
-SPAN.note {
+.note {
font-size: 8.5pt;
}