Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| wiki:use:start [2018/11/18 11:08] – created Richard White | wiki:use:start [2023/02/06 21:37] (current) – [Editing and contributing to pages] Richard White | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== How to use this web site ====== | ====== How to use this web site ====== | ||
| + | This web site is constructed as a wiki, | ||
| + | using the [[doku> | ||
| + | to allow easy and quick modifications by authorised users. | ||
| + | It's just like a normal web site. | ||
| + | If you click on a highlighted link, you will usually open a new page | ||
| + | (in the same tab of the same browser window, replacing the current page). | ||
| + | |||
| + | <WRAP center round important 60%> | ||
| + | We are currently still experimenting with the layout and design of these pages, | ||
| + | so some of the details given below may change or be out of date. | ||
| + | </ | ||
| + | |||
| + | ===== Layout of pages ===== | ||
| + | |||
| + | The web browser will show a menu bar with a slightly lighter background shade, | ||
| + | above the main content of the page, | ||
| + | which you can use to move quickly to another part of the web site. | ||
| + | The information in the menu will always be arranged in the same way, | ||
| + | whichever page you are viewing. | ||
| + | The menu shows the main groups of pages, | ||
| + | and if you move the mouse over it or tap on it, | ||
| + | pages within the chosen group will appear, | ||
| + | in a hierarchical manner. | ||
| + | |||
| + | A " | ||
| + | |||
| + | Note that the layout of the pages is adjusted automatically when using small devices such as mobile phones and tablets with small screens. | ||
| + | For example, if the screen is too narrow to show the menu bar, it is replaced by a menu icon with three bars. | ||
| + | Similarly, the table of contents may be replaced by a link to it. | ||
| + | If the text is too small for comfortable reading, | ||
| + | * On a computer with a keyboard, you can enlarge the text by holding the '' | ||
| + | * On a tablet or phone, you probably already know how to enlarge things by using two fingers to stretch the page. | ||
| + | |||
| + | ===== Naming and arrangement of pages ===== | ||
| + | |||
| + | The pages are arranged in hierarchically nested groups, | ||
| + | so that each page has a " | ||
| + | |||
| + | Like ordinary web pages, every page has a title, which appears at the top of the panel, | ||
| + | and also in some web browsers in the title bar of the browser window. | ||
| + | Our wiki pages also have short names, which appear, | ||
| + | along with the short names of the " | ||
| + | in the web page address or " | ||
| + | |||
| + | ===== Finding your way about ===== | ||
| + | |||
| + | There are several aids to finding your way around. | ||
| + | |||
| + | * If you click or tap on the title " | ||
| + | * The menu bar is described above. | ||
| + | * Below the menu bar and above the main part of the page you may see a grey bar with " | ||
| + | * On a long page, there may be a table of contents at the top right, listing the sections within the currently displayed page. | ||
| + | * If you don't know where to look for something, type a relevant word in the " | ||
| + | |||
| + | ===== Editing and contributing to pages ===== | ||
| + | |||
| + | //[Coming soon!]// | ||
| + | |||
| + | In the meantime, to know more about the technical aspects of this wiki, refer to [[wiki: | ||
| + | |||
| + | Some pages may not be visible unless you log on with an appropriate account. | ||
| + | Most pages may be viewed and comments added to the Discussion by anyone. | ||
| + | Some pages may require you to log in before you can edit them or create new pages | ||
| + | ((If you want to edit these pages, send an email to < | ||
| + | giving your preferred user name and your reason for wanting it, and I will create an account for you.)) | ||
| + | |||
| + | <wrap info lo> | ||
| + | //Note that the "Last modified" | ||
| + | is the 24-hour time in UTC (GMT), not the local time where you are, | ||
| + | and the date is shown in the international way (day/ | ||
| + | </ | ||
| + | |||
| + | Enjoy! | ||