More Jekyll cleanup

This commit is contained in:
Doug Torrance
2018-05-11 11:23:20 -04:00
parent 18e7532d91
commit 42c64c254b
12 changed files with 18 additions and 52 deletions

View File

@@ -106,7 +106,7 @@ title: User Guide - Workspace
<br /></font></li>
<li><font face="Helvetica">User the hide command in the <a href=
"chap2.php#2.2.9">window commands menu</a> brought up when the
"chap2.html#2.2.9">window commands menu</a> brought up when the
window titlebar is clicked with the right mouse button.<br />
<br />
OR<br />
@@ -285,7 +285,7 @@ title: User Guide - Workspace
You can click the top icon (the one with the GNUstep logo) and drag it downward to remove most of the dock from view.
You can also drag it sideways to move the entire dock from side of the screen to the other.<br />
<br />
A menu similar to the <a href="chap3.php#3.2.2">application icon
A menu similar to the <a href="#3.2.2">application icon
menu</a> is brought up when you click a docked icon with the right mouse button.<br />
<br />
To make the dock <i>float</i> over windows (not be coverable by windows), either double-click the top dock icon while