Changes for page Search

From version 6.1
edited by Andrea Omicini
on 25/09/2021 15:57
Change comment: There is no comment for this version
To version 5.1
edited by Andrea Omicini
on 25/09/2021 15:57
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -7,7 +7,7 @@
7 7  #end
8 8  {{html clean="false" wiki="true"}}
9 9  <form action="">
10 - <div style="background:lightgray;padding:5px;font-size:larger">
10 + <div style="background:lightgray;padding:5px;font-size:large">
11 11   {{stringEngIta eng="Find" ita="Trova" /}}
12 12   <br/>
13 13   <input type="text" name="text" value="$!text.replace(">", "&gt;").replace("<", "&lt;").replace('"', "&quot;")" size="40"/>