Improve GUI welcome message

gui/index.html

@@ -52,7 +52,7 @@ span.mainfunction {color: #993300; font-weight: bolder}
 <div class="navbar navbar-inverse navbar-fixed-top">
 	<div class="navbar-inner">
 		<div class="container-fluid">
-			<span class="brand">Audio System Design Tool for Teensy Audio Library</span>
+			<span class="brand">Audio System Design Tool for <a href="http://www.pjrc.com/teensy/td_libs_Audio.html" target="_blank">Teensy Audio Library</a></span>
 			<div class="btn-group pull-right">
 				<a class="btn dropdown-toggle" data-toggle="dropdown" href="#"><i class="icon-align-justify"></i> <span class="caret"></span></a>
 				<ul class="dropdown-menu">

gui/red/ui/tab-info.js

@@ -23,7 +23,7 @@ RED.sidebar.info = (function() {
 	content.style.paddingRight = "4px";
 
 	RED.sidebar.addTab("info",content);
-	$("#tab-info").html("<p></p><p>Special thanks to Nicholas O'Leary, Dave Conway-Jones and IBM.</p><p>Without their work on the open source <a href=\"http://nodered.org/\" target=\"_blank\">Node-RED</a> project, this GUI front-end for the Teensy Audio Library would not have been possible!</p>");
+	$("#tab-info").html("<h3>Welcome</h3><p>The Audio System Design Tool lets you easily draw a system to process 16 bit, 44.1 kHz streaming audio while your Arduino sketch also runs.</p><p>Export will generate code to copy into the Arduino editor, to implement your system.</p><p>Most objects provide simple functions you can call from setup() or loop() to control your audio project!</p><h3>Offline Use</h3><p>This tool does not use a server.  A stand-alone copy is provided with the Teensy Audio Library, in the gui folder.</p><h3>Credits</h3><p>Special thanks to Nicholas O'Leary, Dave Conway-Jones and IBM.</p><p>Without their work on the open source <a href=\"http://nodered.org/\" target=\"_blank\">Node-RED</a> project, this graphical design tool would not have been possible!</p>");
 
 	function jsonFilter(key,value) {
 		if (key === "") {

gui/style.css

@@ -50,13 +50,7 @@ a.brand {
 }
 a.brand span {
     vertical-align: middle;
-    font-size: 16px !important;
-}
-a.brand:hover span.red {
-    color: rgb(197, 112, 112) !important;
-}
-a.brand:hover {
-    color: #bbb !important;
+    font-size: 16px;
 }
 a.brand img {
     height: 16px;