Small cleanups in the Mojo HTML viewer

mojo/services/html_viewer/webthemeengine_impl.h

Index: mojo/services/html_viewer/webthemeengine_impl.h
diff --git a/mojo/services/html_viewer/webthemeengine_impl.h b/mojo/services/html_viewer/webthemeengine_impl.h
index 6b0dad145c6581be635907f0c519d977bf1f957f..58e56ab7741f7889db026db6ab2b5a357c74b90e 100644
--- a/mojo/services/html_viewer/webthemeengine_impl.h
+++ b/mojo/services/html_viewer/webthemeengine_impl.h
@@ -12,12 +12,12 @@ namespace html_viewer {
 class WebThemeEngineImpl : public blink::WebThemeEngine {
  public:
   // WebThemeEngine methods:
-  blink::WebSize getSize(blink::WebThemeEngine::Part) override;
-  void paint(blink::WebCanvas* canvas,
-             blink::WebThemeEngine::Part part,
-             blink::WebThemeEngine::State state,
-             const blink::WebRect& rect,
-             const blink::WebThemeEngine::ExtraParams* extra_params) override;
+  virtual blink::WebSize getSize(blink::WebThemeEngine::Part);
+  virtual void paint(blink::WebCanvas* canvas,
+                     blink::WebThemeEngine::Part part,
+                     blink::WebThemeEngine::State state,
+                     const blink::WebRect& rect,
+                     const blink::WebThemeEngine::ExtraParams* extra_params);
   virtual void paintStateTransition(blink::WebCanvas* canvas,
                                     blink::WebThemeEngine::Part part,
                                     blink::WebThemeEngine::State startState,