remove whitespace

doc/html/header.txt

@@ -22,7 +22,7 @@ Linux clusters, high-performance computing, Livermore Computing">
 
 <div id="cse" style="width: 97%;">Loading</div>
 <script src="http://www.google.com/jsapi" type="text/javascript"></script>
-<script type="text/javascript"> 
+<script type="text/javascript">
   google.load('search', '1', {language : 'en', style : google.loader.themes.V2_DEFAULT});
   google.setOnLoadCallback(function() {
     var customSearchOptions = {};  var customSearchControl = new google.search.CustomSearchControl(