resize images for easier display

diff --git a/doc/tips/distributed_wikis.mdwn b/doc/tips/distributed_wikis.mdwn
index 81869a94fe5311d20f1a8db61895e27a27405e08..dff89618e8cb94ee9b96b586b70c2dcc430dafd5 100644 (file)
--- a/doc/tips/distributed_wikis.mdwn
+++ b/doc/tips/distributed_wikis.mdwn
@@ -19,7 +19,7 @@ Here's a graphic overview of those:
 
 ### Default setup - one central server
 
-[[!img rcs/git/wiki_edit_flow.svg size=490x align=center]]
+[[!img rcs/git/wiki_edit_flow.svg size=400x]]
 
 In the default setup, all the resources are stored on the central
 servers. Users can still clone and edit the git repo by hand and
@@ -28,7 +28,7 @@ web interface.
 
 ### Separate webserver and git repository
 
-[[!img tips/Git_repository_and_web_server_on_different_hosts/separate-webserver.svg align=center]]
+[[!img tips/Git_repository_and_web_server_on_different_hosts/separate-webserver.svg size=400x]]
 
 In the configuration described in
 [[tips/Git_repository_and_web_server_on_different_hosts]], the
@@ -38,7 +38,7 @@ the git server.
 
 ### Decentralised pinger setup
 
-[[!img ping-setup.svg align=center]]
+[[!img ping-setup.svg size=400x]]
 
 In this configuration, the mirrors all have their own `srcdir`, but
 still need to push and pull from the same central bare git repo. The
@@ -47,7 +47,7 @@ server on edits.
 
 ### Fully decentralised setup
 
-[[!img .svg align=center]]
+[[!img decentralized_wikis.svg size=400x]]
 
 In this configuration, each wiki is fully independent and pushes its
 changes to other wikis using the [[plugins/gitpush]] plugin.