From 526e795f1c61c0b1d1cb44e50c7a413c211be553 Mon Sep 17 00:00:00 2001
From: Tara <tbvanc@gmail.com>
Date: Wed, 1 Jun 2016 03:57:34 -0500
Subject: [PATCH] Change the font-size property for input and textarea

Change the `font-size` property for `input` and `textarea` from 0.7em
to 0.8333em.
---
 resources/servo.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/servo.css b/resources/servo.css
index dd3d9440a91..59c4ff8bc2d 100644
--- a/resources/servo.css
+++ b/resources/servo.css
@@ -8,7 +8,7 @@ input {
   border: solid lightgrey 1px;
   color: black;
   font-family: sans-serif;
-  font-size: 0.7em;
+  font-size: 0.8333em;
   white-space: nowrap;
   text-align: left;
   line-height: 1.8;
@@ -23,7 +23,7 @@ textarea {
   border: solid lightgrey 1px;
   color: black;
   font-family: sans-serif;
-  font-size: 0.7em;
+  font-size: 0.8333em;
   white-space: pre;
 }