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
 
 
 ### 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
 
 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
 
 
 ### 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
 
 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
 
 
 ### 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
 
 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
 
 
 ### 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.
 
 In this configuration, each wiki is fully independent and pushes its
 changes to other wikis using the [[plugins/gitpush]] plugin.