diff --git a/.gitignore b/.gitignore
index 77ac1f924c69faafc54aae741fa14ff8551244e2..b69f755e493adf47b43a1375b5d9de7ebfe0e8f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,5 @@
 *.dvi
 *.nav
 *.snm
+.kile
+*.kilepr
diff --git a/images/avoelogo-margin.png b/images/avoelogo-margin.png
new file mode 100644
index 0000000000000000000000000000000000000000..1ec5c6722169880cb423aa000e4512aaed3694c3
Binary files /dev/null and b/images/avoelogo-margin.png differ