diff options
Diffstat (limited to 'tools/findbugs/doc/findbugs.css')
-rw-r--r-- | tools/findbugs/doc/findbugs.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/findbugs/doc/findbugs.css b/tools/findbugs/doc/findbugs.css new file mode 100644 index 0000000..e201695 --- /dev/null +++ b/tools/findbugs/doc/findbugs.css @@ -0,0 +1,15 @@ +BODY { + background: white; +} + +A.plain { + text-decoration: none; +} + +A.sidebar { + text-decoration: none; +} + +A.sidebar:hover, A.sidebar:active { + text-decoration: underline; +} |