Switch to side-by-side view

--- a/tool/run/plugins/webserver/serverSettings.html
+++ b/tool/run/plugins/webserver/serverSettings.html
@@ -1,16 +1,12 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <html><head>
-<meta content="text/html;charset=UTF-8" http-equiv="Content-Type"><title>Web server settings</title>
-
-</head>
+<meta content="text/html;charset=UTF-8" http-equiv="Content-Type"><title>Web server settings</title></head>
 <body>
 <form action="server?x=save" method="post">
 <div style="margin-left: 10px;">
 <h2><img style="width: 32px; height: 32px;" alt="" src="image-map.png" hspace="3"> Web server settings</h2>
 This software can be accessed from either a desktop or from a web
-browser if you wish. On this page you find the settings to start/stop
-the server or
-change its settings.<br>
+browser if you wish. To open TripleCheck on your browser, <a href="/webserver/server.java?x=open">click this link</a>.<br>
 <br>
 <br>
 <div style="margin-left: 10px;">Port to be used