diff options
Diffstat (limited to 'doc/eigendoxy.css')
-rw-r--r-- | doc/eigendoxy.css | 2 |
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; } |