Made the search icon smaller

css/marketing.css

@@ -844,11 +844,12 @@ div#calculator_div {
         color: #333; }
     div#calculator_div form input#calculator_output {
       border: 0;
-      background: 0;
+      background: none;
       padding: 9.061px;
-      width: 60px;
       font-size: 24px;
-      font-weight: bold; }
+      width: 378px;
+      font-weight: bold;
+      margin-top: 4px; }
   div#calculator_div dl dt {
     float: left;
     clear: both;

js/cktsim.js

+../../data/js/cktsim.js
\ No newline at end of file

js/schematic.js

+../../data/js/schematic.js
\ No newline at end of file

js/video_player.js

@@ -196,7 +196,7 @@ function onYouTubePlayerAPIReady() {
       'onStateChange': onPlayerStateChange
     }
   });
-  updateytplayerInfoInterval = setInterval(updateytplayerInfo, 500);
+  updateytplayerInfoInterval = setInterval(updateHTML5ytplayerInfo, 200);
   ajax_videoInterval = setInterval(ajax_video, 5000);
 }
 
@@ -300,15 +300,32 @@ function onPlayerError(errorCode) {
     //    alert("An error occured: " + errorCode);
 }
 
-function updateytplayerInfo() {
-    if(ytplayer.getPlayerState()!=3) {
-	$("#slider").slider("option","max",ytplayer.getDuration());
-	$("#slider").slider("option","value",ytplayer.getCurrentTime());
+// Currently duplicated to check for if video control changed by clicking the video for HTML5
+// Hacky b/c of lack of control over YT player
+function updateHTML5ytplayerInfo() {
+    var player_state = getPlayerState();
+    if(player_state != 3) {
+      $("#slider").slider("option","max",ytplayer.getDuration());
+      $("#slider").slider("option","value",ytplayer.getCurrentTime());
     }
-    if (getPlayerState() == 1){
-	update_captions(getCurrentTime());
+    if (player_state == 1){
+      update_captions(getCurrentTime());
     }
+    if (player_state == 1 && $("#video_control").hasClass("play"))
+      $("#video_control").removeClass().addClass("pause");
+    else if (player_state == 2 && $("#video_control").hasClass("pause"))
+      $("#video_control").removeClass().addClass("play");
+}
 
+function updateytplayerInfo() {
+    var player_state = getPlayerState();
+    if(player_state != 3) {
+      $("#slider").slider("option","max",ytplayer.getDuration());
+      $("#slider").slider("option","value",ytplayer.getCurrentTime());
+    }
+    if (player_state == 1){
+      update_captions(getCurrentTime());
+    }
        // updateHTML("videoduration", getDuration());
     //    updateHTML("videotime", getCurrentTime());
     //    updateHTML("startbytes", getStartBytes());
@@ -432,4 +449,4 @@ function clearVideo() {
     if (ytplayer) {
 	ytplayer.clearVideo();
     }
-}
+}
\ No newline at end of file