www/webkit-gtk3/files/patch-Source_WebKit_gtk_resources_error.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

--- Source/WebKit/gtk/resources/error.html.orig
+++ Source/WebKit/gtk/resources/error.html
@@ -21,12 +21,12 @@
 }
 
 #errorTitleText {
- font-size: 120%;
+ font-size: 120%%;
  font-weight: bold;
 }
 
 #errorMessageText {
- font-size: 80%;
+ font-size: 80%%;
 }
 
 </style>