diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/style.css | 1 | ||||
| -rw-r--r-- | doc/wikiicons/anonymous.png | bin | 302 -> 0 bytes | |||
| -rw-r--r-- | doc/wikiicons/openid.png | bin | 297 -> 0 bytes | |||
| -rw-r--r-- | doc/wikiicons/signedin.png | bin | 370 -> 0 bytes |
4 files changed, 1 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index 1fabf6b29..81a260afd 100644 --- a/doc/style.css +++ b/doc/style.css @@ -375,6 +375,7 @@ span.color { .comment-header { font-style: italic; + margin-top: .3em; } .comment .author { font-weight: bold; diff --git a/doc/wikiicons/anonymous.png b/doc/wikiicons/anonymous.png Binary files differdeleted file mode 100644 index df22152e6..000000000 --- a/doc/wikiicons/anonymous.png +++ /dev/null diff --git a/doc/wikiicons/openid.png b/doc/wikiicons/openid.png Binary files differdeleted file mode 100644 index c5535c3de..000000000 --- a/doc/wikiicons/openid.png +++ /dev/null diff --git a/doc/wikiicons/signedin.png b/doc/wikiicons/signedin.png Binary files differdeleted file mode 100644 index 969908d39..000000000 --- a/doc/wikiicons/signedin.png +++ /dev/null |
