Fix sizes of SVG icons in documentation

Fixes Jermolene#4153

editions/tw5.com/tiddlers/concepts/ColourPalettes.tid

@@ -12,7 +12,7 @@ table-border: #ccc
 ...
 ```
 
-Several palettes form part of the core. The system tiddler [[$:/palette]] always contains the title of the currently selected palette tiddler. You can change a palette using the {{$:/core/images/palette}} ''palette'' button, found on the "Tools" tab in the sidebar.
+Several palettes form part of the core. The system tiddler [[$:/palette]] always contains the title of the currently selected palette tiddler. You can change a palette using the <<.icon $:/core/images/palette>> ''palette'' button, found on the "Tools" tab in the sidebar.
 
 To retrieve the value of a named colour from the current palette, e.g. for use in a stylesheet tiddler, use the <<.mlink colour>> macro:
 

editions/tw5.com/tiddlers/concepts/InfoPanel.tid

@@ -4,7 +4,7 @@ tags: Features
 title: InfoPanel
 type: text/vnd.tiddlywiki
 
-Each tiddler has a panel of additional information. To reveal it, click the {{$:/core/images/down-arrow}} button in the tiddler's toolbar and then choose {{$:/core/images/info-button}} ''info'' from the dropdown list.
+Each tiddler has a panel of additional information. To reveal it, click the <<.icon $:/core/images/down-arrow>> button in the tiddler's toolbar and then choose <<.icon $:/core/images/info-button>> ''info'' from the dropdown list.
 
 The info panel has the following tabs:
 

editions/tw5.com/tiddlers/concepts/Modules.tid

@@ -6,4 +6,4 @@ type: text/vnd.tiddlywiki
 
 A //module// in TiddlyWiki5 is a tiddler containing executable JavaScript, of the type `application/javascript` and with the field `module-type` set to the ModuleType of the module.
 
-See [[control panel|$:/ControlPanel]] {{$:/core/images/options-button}} > ''Info'' > ''Advanced'' > ''Loaded Modules'' for a list of currently loaded modules.
+See [[control panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>> > ''Info'' > ''Advanced'' > ''Loaded Modules'' for a list of currently loaded modules.

editions/tw5.com/tiddlers/concepts/PermaLinks.tid

@@ -8,7 +8,7 @@ Permalinks allow direct links to individual tiddlers within a TiddlyWiki.
 
 ! Simple Permalinks
 
-The simplest form of permalink ({{$:/core/images/permalink-button}}) is a single target tiddler title appended to the base URL with `#`:
+The simplest form of permalink (<<.icon $:/core/images/permalink-button>>) is a single target tiddler title appended to the base URL with `#`:
 
 https://tiddlywiki.com/#HelloThere
 
@@ -42,7 +42,7 @@ Both the target tiddler title and the story filter should be URL encoded (but no
 
 ! Permalink Behaviour
 
-Two important aspects of TiddlyWiki's behaviour with permalinks can be controlled via options in the [[control panel|$:/ControlPanel]] {{$:/core/images/options-button}} ''Settings'' tab:
+Two important aspects of TiddlyWiki's behaviour with permalinks can be controlled via options in the [[control panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>> ''Settings'' tab:
 
 * Whether to automatically update the address bar at each navigation, and if so whether to include the story sequence as well as the target tiddler
 * Whether the updates to the address bar should affect browser history. The default is ''no''; when switched to ''yes'' you can rewind navigation between tiddlers using the browser back and forward buttons

editions/tw5.com/tiddlers/features/AutoSave.tid

@@ -4,8 +4,8 @@ tags: Features
 title: AutoSave
 type: text/vnd.tiddlywiki
 
-If there is a SaverModule available that supports it, TiddlyWiki will automatically trigger a save of the current document on clicking {{$:/core/images/done-button}} ''ok'' or {{$:/core/images/delete-button}} ''delete'' when editing a tiddler.
+If there is a SaverModule available that supports it, TiddlyWiki will automatically trigger a save of the current document on clicking <<.icon $:/core/images/done-button>> ''ok'' or <<.icon $:/core/images/delete-button>> ''delete'' when editing a tiddler.
 
 You should see a yellow notification at the top right of the window to confirm that an automatic save has taken place.
 
-Automatic saving can be enabled or disabled through the ''Settings'' tab of the [[control panel|$:/ControlPanel]] {{$:/core/images/options-button}}. Behind the scenes, it is controlled through the configuration tiddler [[$:/config/AutoSave]], which must have the value ''yes'' to enable automatic saving.
+Automatic saving can be enabled or disabled through the ''Settings'' tab of the [[control panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>>. Behind the scenes, it is controlled through the configuration tiddler [[$:/config/AutoSave]], which must have the value ''yes'' to enable automatic saving.

editions/tw5.com/tiddlers/features/Importing Tiddlers.tid

@@ -10,7 +10,7 @@ You can import tiddlers into a ~TiddlyWiki from external files or directly from
 
 There are several ways to import content from external files:
 
-* Use the {{$:/core/images/import-button}} ''import'' button (under the ''Tools'' tab in the sidebar) to select a local file
+* Use the <<.icon $:/core/images/import-button>> ''import'' button (under the ''Tools'' tab in the sidebar) to select a local file
 * Drag and drop files from Windows Explorer or OS X Finder etc. into the TiddlyWiki browser window
 * Paste content directly from the clipboard using the menu or keyboard shortcut (<kbd>ctrl-V</kbd> or <kbd>cmd-V</kbd>)
 ** Currently supported in Chrome, Firefox and Edge (but not Internet Explorer)

editions/tw5.com/tiddlers/features/SafeMode.tid

@@ -18,7 +18,7 @@ https://tiddlywiki.com/#:safe
 
 Safe mode triggers two changes:
 
-* All plugins are temporarily disabled. You can use the [[control panel|$:/ControlPanel]] {{$:/core/images/options-button}} to disable individual plugins
+* All plugins are temporarily disabled. You can use the [[control panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>> to disable individual plugins
 * Any tiddlers that override shadow tiddlers are renamed to give them the prefix `SAFE: `, thus restoring the underlying shadow tiddler
 * Certain configuration options are ignored, and the default settings used instead:
 ** WikiParserRuleConfiguration

editions/tw5.com/tiddlers/features/Searching in TiddlyWiki.tid

@@ -14,7 +14,7 @@ Typing text into the search box in the sidebar will turn up a list of all the ti
 
 ! Advanced searching
 
-Clicking on the magnifying glass icon {{$:/core/images/advanced-search-button}} to the right of the search box will open [[$:/AdvancedSearch]]. This tiddler contains four tabs:
+Clicking on the magnifying glass icon <<.icon $:/core/images/advanced-search-button>> to the right of the search box will open [[$:/AdvancedSearch]]. This tiddler contains four tabs:
 
 * The ''standard'' tab contains another instance of the search box found in the sidebar
 * The ''system'' tab allows you to limit your search to system tiddlers

editions/tw5.com/tiddlers/howtos/Adding_a_table_of_contents_to_the_sidebar.tid

@@ -19,7 +19,7 @@ A customisable [[table of contents|Table-of-Contents Macros]] can be added to th
 # Add a ''caption'' field with the text ''Contents''
 # Add a ''list-after'' field with the text ''~$:/core/ui/SideBar/Open''
 
-Add entries to the table of contents by creating tiddlers tagged ''~TableOfContents''. An easy way is to choose {{$:/core/images/new-here-button}} ''new here'' from the tiddler toolbar of the ''~TableOfContents'' tiddler. 
-(if you don't see the "new here" button, click on the down arrow {{$:/core/images/down-arrow}} to see more menu options.)
+Add entries to the table of contents by creating tiddlers tagged ''~TableOfContents''. An easy way is to choose <<.icon $:/core/images/new-here-button>> ''new here'' from the tiddler toolbar of the ''~TableOfContents'' tiddler. 
+(if you don't see the "new here" button, click on the down arrow <<.icon $:/core/images/down-arrow>> to see more menu options.)
 
 To create child tiddlers (tiddlers that come below other tiddlers), tag them with the name of the parent tiddler.

editions/tw5.com/tiddlers/howtos/How to create keyboard shortcuts.tid

@@ -14,7 +14,7 @@ A tiddler with the <<.def prefix>> `$:/config/ShortcutInfo/` and a ''unique suff
 
 In the [[Keyboard Shortcuts Tab|$:/core/ui/ControlPanel/KeyboardShortcuts]] the ''key combination'' that should trigger the shortcut can be configured:
 
-> Look for the ''unique suffix'' defined for the new shortcut and click the <$button class="tc-btn-invisible">{{$:/core/images/edit-button}}<$action-sendmessage $message="tm-notify" $param="$:/core/images/edit-button"/></$button> button to open a popup that detects ''key combinations'' and shows the detected combination in its input field
+> Look for the ''unique suffix'' defined for the new shortcut and click the <$button class="tc-btn-invisible"><<.icon $:/core/images/edit-button>><$action-sendmessage $message="tm-notify" $param="$:/core/images/edit-button"/></$button> button to open a popup that detects ''key combinations'' and shows the detected combination in its input field
 
 >The ''add shortcut'' assigns the key-combination to the shortcut
 

editions/tw5.com/tiddlers/howtos/How to export tiddlers.tid

@@ -6,17 +6,17 @@ type: text/vnd.tiddlywiki
 
 ! Selecting All tiddlers for export
 
-To export ''all'' tiddlers click on the "Tools" tab of the Sidebar. Find and click the {{$:/core/images/export-button}} ''export all'' button. A pop-up menu will offer you the chance to export tiddlers in multiple formats.
+To export ''all'' tiddlers click on the "Tools" tab of the Sidebar. Find and click the <<.icon $:/core/images/export-button>> ''export all'' button. A pop-up menu will offer you the chance to export tiddlers in multiple formats.
 
 ! Exporting a tiddler
 
-If you want to export a particular tiddler, first navigate to that tiddler. Then click on the {{$:/core/images/down-arrow}} ''more'' button that appears above the tiddler. From the list that appears select {{$:/core/images/export-button}} ''export tiddler''. A pop-up menu will offer you the chance to export the tiddler in multiple formats.
+If you want to export a particular tiddler, first navigate to that tiddler. Then click on the <<.icon $:/core/images/down-arrow>> ''more'' button that appears above the tiddler. From the list that appears select <<.icon $:/core/images/export-button>> ''export tiddler''. A pop-up menu will offer you the chance to export the tiddler in multiple formats.
 
 ! Exporting tiddlers matching a criteria (filter)
 
-To export a selection of tiddlers, click the little magnifying glass {{$:/core/images/advanced-search-button}} next to the search area on the sidebar. This will open the [[Advanced Search|$:/AdvancedSearch]] tiddler. Click on the "Filter" tab of the Advanced Search tiddler. Only the [[Filter|Filters]] tab will allow you to export a selection of tiddlers. [[Filters]] follow a particular syntax. Click on this [[Filters|Filters]] link to learn about how to make filters.
+To export a selection of tiddlers, click the little magnifying glass <<.icon $:/core/images/advanced-search-button>> next to the search area on the sidebar. This will open the [[Advanced Search|$:/AdvancedSearch]] tiddler. Click on the "Filter" tab of the Advanced Search tiddler. Only the [[Filter|Filters]] tab will allow you to export a selection of tiddlers. [[Filters]] follow a particular syntax. Click on this [[Filters|Filters]] link to learn about how to make filters.
 
-Once you have written a filter, a list of tiddlers matching the filter will appear. Now you can click on the {{$:/core/images/export-button}} ''export tiddler'' button to the right of the filter input field. A pop-up menu will offer you the chance to export tiddlers in multiple formats.
+Once you have written a filter, a list of tiddlers matching the filter will appear. Now you can click on the <<.icon $:/core/images/export-button>> ''export tiddler'' button to the right of the filter input field. A pop-up menu will offer you the chance to export tiddlers in multiple formats.
 
 ! Export formats
 

editions/tw5.com/tiddlers/howtos/How to put the last modification date in a banner.tid

@@ -7,7 +7,7 @@ type: text/vnd.tiddlywiki
 Here's how to display the last modification date of a wiki in a banner in the corner of the window:
 
 # [[Install the plugin|Installing a plugin from the plugin library]] <<.def "Corner ribbon">> in your ~TiddlyWiki
-# Save ({{$:/core/images/save-button}}) and reload ({{$:/core/images/refresh-button}}) your wiki
+# Save (<<.icon $:/core/images/save-button>>) and reload (<<.icon $:/core/images/refresh-button>>) your wiki
 # Create a new tiddler called [[$:/_MyRibbon]] tagged [[$:/tags/PageControls]] and containing:<div>
 
 ```

editions/tw5.com/tiddlers/howtos/Insert link.tid

@@ -5,6 +5,6 @@ title: Insert link
 
 This will give you a dialog to search for and pick existing tiddlers in the wiki. When you pick a tiddler it will be inserted as a WikiText link where the cursor is in the text field.
 
-Pressing {{$:/core/images/link}} will give you `[[Some link]]`
+Pressing <<.icon $:/core/images/link>> will give you `[[Some link]]`
 
 It wil ''not'' insert: external web links or [[picture|Insert picture]] links.

editions/tw5.com/tiddlers/howtos/Insert picture.tid

@@ -6,4 +6,4 @@ title: Insert picture
 This will give you a dialog to search for and pick existing image tiddlers in the wiki. When you pick a tiddler it will be inserted as a WikiText  image link where the cursor is in the text field.
 
 
-Pressing {{$:/core/images/picture}} will give you `[img[$:/favicon.ico]]`
+Pressing <<.icon $:/core/images/picture>> will give you `[img[$:/favicon.ico]]`

editions/tw5.com/tiddlers/howtos/KeyboardShortcuts.tid

@@ -24,7 +24,7 @@ Keyboard shortcuts are available for common editing operations within the Text E
 * Creating a new journal (defaults to <kbd>alt-J</kbd> )
 * Creating a new image (defaults to <kbd>alt-I</kbd> )
 
-The current shortcuts can be inspected and customised in the "Keyboard Shortcuts" tab of the [[Control Panel|$:/ControlPanel]] {{$:/core/images/options-button}}.
+The current shortcuts can be inspected and customised in the "Keyboard Shortcuts" tab of the [[Control Panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>>.
 
 !! Special Keys
 

editions/tw5.com/tiddlers/howtos/More actions.tid

@@ -3,4 +3,4 @@ modified: 20160817110101356
 tags: [[Editor toolbar]]
 title: More actions
 
-Pressing {{$:/core/images/down-arrow}} Gives you  a dropdown menu with more editing options.
+Pressing <<.icon $:/core/images/down-arrow>> Gives you  a dropdown menu with more editing options.

editions/tw5.com/tiddlers/howtos/Setting a page background image.tid

@@ -6,7 +6,7 @@ type: text/vnd.tiddlywiki
 
 # Import your image as a tiddler (see [[Images in WikiText]])
 #* You can also use an [[external image|ExternalImages]]
-# Open the [[control panel|$:/ControlPanel]] {{$:/core/images/options-button}} and switch to the ''Appearance''/''Theme Tweaks'' tab
+# Open the [[control panel|$:/ControlPanel]] <<.icon $:/core/images/options-button>> and switch to the ''Appearance''/''Theme Tweaks'' tab
 # Select your image from the dropdown labelled "Page background image"
 # Set "Page background image attachment" to "Fixed to window" to have the background stay stationary and the content to scroll over the top of it, or "Scroll with tiddlers" to have it move (note that the iPhone/iPad [[doesn't support the fixed setting|http://stackoverflow.com/a/20444219]] for performance reasons)
 # Set "Page background image size" as follows:

editions/tw5.com/tiddlers/howtos/Tagging.tid

@@ -26,10 +26,10 @@ There are two more things you can do with tags:
 
 ! Set a tag's colour and icon
 
-You can use the {{$:/core/images/tag-button}} [[tag manager|$:/TagManager]], found on the ''Tags'' tab under ''More'' in the sidebar, to change the colour of a tag's pill or add an icon to the pill.
+You can use the <<.icon $:/core/images/tag-button>> [[tag manager|$:/TagManager]], found on the ''Tags'' tab under ''More'' in the sidebar, to change the colour of a tag's pill or add an icon to the pill.
 
 * To change the colour, click the button in the ''Colour'' column to select from a colour picker. Alternatively, click the icon in the ''Info'' column, then type a [[CSS]] colour value in the ''Colour'' field
-* To change the icon, click the {{$:/core/images/down-arrow}} button in the ''Icon'' column and choose from the list of available icons
+* To change the icon, click the <<.icon $:/core/images/down-arrow>> button in the ''Icon'' column and choose from the list of available icons
 
 ! Change the order in which tags are listed
 

editions/tw5.com/tiddlers/howtos/Upgrading.tid

@@ -27,7 +27,7 @@ This process will work on most desktop browsers. Note that none of your personal
 #* If the file is encrypted you will be prompted for the password
 # Review the list of tiddlers that will be upgraded
 # Click ''Upgrade''
-# Save changes to save the new version ({{$:/core/images/save-button}})
+# Save changes to save the new version (<<.icon $:/core/images/save-button>>)
 
 This will download a file called ''upgrade.html'' to your computer. This file is the upgrade of your old file. You may need to open the location where ''upgrade.html'' was downloaded, rename ''upgrade.html'' with the name of the old file you are upgrading, and replace the old file by moving the new file in its place.
 

editions/tw5.com/tiddlers/howtos/Using Excise.tid

@@ -6,11 +6,11 @@ type: text/vnd.tiddlywiki
 
 
 ! Excise text
-From the EditorToolbar you can export selected text to a new tiddler and insert a [[link|Linking in WikiText]] [[Transclusion]] or [[macro|Macros]] in its place. Click ''Excise text'' ({{$:/core/images/excise}}), input name of the new tiddler, and choose excise method.
+From the EditorToolbar you can export selected text to a new tiddler and insert a [[link|Linking in WikiText]] [[Transclusion]] or [[macro|Macros]] in its place. Click ''Excise text'' (<<.icon $:/core/images/excise>>), input name of the new tiddler, and choose excise method.
 
 !! How to excise text
 # Highlight the relevant piece of text 
-#Click ''Excise text'' ({{$:/core/images/excise}})
+#Click ''Excise text'' (<<.icon $:/core/images/excise>>)
 # Give the new tiddler a title.
 # Chosse if the new tiddler will be tagged with the title of the current tiddler''*''.
 # Choose replacing method. [[link|Linking in WikiText]] [[Transclusion]] or [[macro|Macros]].

editions/tw5.com/tiddlers/howtos/Using Stamp.tid

@@ -5,24 +5,24 @@ title: Using Stamp
 type: text/vnd.tiddlywiki
 
 ! Insert snippets
-You can insert preconfigured snippets of text to use stamp from toolbar. Click ''stamp'' ({{$:/core/images/stamp}}) and just select a snippet.
+You can insert preconfigured snippets of text to use stamp from toolbar. Click ''stamp'' (<<.icon $:/core/images/stamp>>) and just select a snippet.
 
 ! Create a snippet
-# Click ''stamp'' ({{$:/core/images/stamp}})
+# Click ''stamp'' (<<.icon $:/core/images/stamp>>)
 # Create a snippet tiddler through the "//Add your own//" menu entry
 # Type some text as snippet for the tiddler, add a caption for the name as shown in the menu
-# Click the {{$:/core/images/done-button}} ''ok'' button
+# Click the <<.icon $:/core/images/done-button>> ''ok'' button
 
-<<.tip """''Tip:'' You can also create a snippet tiddler using the ''new tiddler'' {{$:/core/images/new-button}} button in the sidebar, and add tag ''~$:/tags/TextEditor/Snippet''""">>
+<<.tip """''Tip:'' You can also create a snippet tiddler using the ''new tiddler'' <<.icon $:/core/images/new-button>> button in the sidebar, and add tag ''~$:/tags/TextEditor/Snippet''""">>
 
 
 !!<<.from-version "5.1.20">> Adding a prefix and/or suffix to a selection
 
-# Click ''stamp'' ({{$:/core/images/stamp}})
+# Click ''stamp'' (<<.icon $:/core/images/stamp>>)
 # Create a snippet tiddler through the "//Add your own//" menu entry
 # Add a caption for the name as shown in the menu
 # Create a tiddler with the same title but add the suffix `/prefix`
 # Insert the prefix in its text field
 # Create a tiddler with the same title but add the suffix `/suffix`
 # Insert the suffix in its text field
-# Click the {{$:/core/images/done-button}} ''ok'' button
+# Click the <<.icon $:/core/images/done-button>> ''ok'' button

editions/tw5.com/tiddlers/howtos/Using Stylesheets.tid

@@ -18,7 +18,7 @@ The first steps to changing the appearance of ~TiddlyWiki are to choose and appl
 
 * One of the available themes: <span class="tc-btn-standard"> {{$:/core/ui/Buttons/theme}} </span>
 * Modify the colour palette: <span class="tc-btn-standard"> {{$:/core/ui/Buttons/palette}} </span>
-* Experiment with the <$button actions=<<openCpTheme>> >{{$:/core/images/options-button}} ControlPanel</$button>
+* Experiment with the <$button actions=<<openCpTheme>> ><<.icon $:/core/images/options-button>> ControlPanel</$button>
 
 ! Work with Stylesheets