diff options
Diffstat (limited to 'doc/eigendoxy.css')
-rw-r--r-- | doc/eigendoxy.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css index 60243d870..3dedbd1d8 100644 --- a/doc/eigendoxy.css +++ b/doc/eigendoxy.css @@ -166,6 +166,11 @@ div.toc ul { margin: 0.2em 0 0.4em 0.5em; } +span.cpp11,span.cpp14,span.cpp17 { + color: #119911; + font-weight: bold; +} + /**** old Eigen's styles ****/ |