Examples: Trim search terms.

examples/index.html

@@ -248,7 +248,7 @@
 
 		function updateFilter() {
 
-			var v = filterInput.value;
+			var v = filterInput.value.trim();
 
 			if ( v !== '' ) {
 
@@ -282,7 +282,7 @@
 
 			var link = links[ file ];
 			var name = getName( file );
-			if ( file in tags ) file += tags[ file ].join( ' ' );
+			if ( file in tags ) file += ' ' + tags[ file ].join( ' ' );
 			var res = file.match( exp );
 			var text;