summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/style.css1
-rw-r--r--doc/wikiicons/anonymous.pngbin302 -> 0 bytes
-rw-r--r--doc/wikiicons/openid.pngbin297 -> 0 bytes
-rw-r--r--doc/wikiicons/signedin.pngbin370 -> 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
deleted file mode 100644
index df22152e6..000000000
--- a/doc/wikiicons/anonymous.png
+++ /dev/null
Binary files differ
diff --git a/doc/wikiicons/openid.png b/doc/wikiicons/openid.png
deleted file mode 100644
index c5535c3de..000000000
--- a/doc/wikiicons/openid.png
+++ /dev/null
Binary files differ
diff --git a/doc/wikiicons/signedin.png b/doc/wikiicons/signedin.png
deleted file mode 100644
index 969908d39..000000000
--- a/doc/wikiicons/signedin.png
+++ /dev/null
Binary files differ