Add navigation controls to DevTools screencast view

Source/devtools/front_end/screencastView.css

 /*
  * Copyright (C) 2013 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 10 matching lines @@
  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+.screencast-navigation {
+  -webkit-flex-direction: row;
+  display: -webkit-flex;
+}
+
+/* FIXME: replace unicode symbols with icons */
+.screencast-navigation button {
+  font-size: 125%;
+  font-weight: 900;
+}
+
+.screencast-navigation input {
+  -webkit-flex: 1;
+  border: 1px solid #ccc;
+  border-radius: 2px;
+  padding-left: 5px;
+}
+
+.screencast-navigation input:focus {
+  border: 1px solid #888;
+  outline: none;
+}
+
 .screencast-viewport {
     margin: 10px;
     border: 20px solid #333;
     border-radius: 20px;
     position: relative;
 }
 
 .screencast canvas {
     position: absolute;
     width: 100%;
@@ skipping 17 matching lines @@
 .screencast-node-id {
     /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
     color: rgb(26, 26, 166);
 }
 
 .screencast-class-name {
     /* Keep this in sync with view-source.css (.webkit-html-attribute-name) */
     color: rgb(153, 69, 0);
 }