Safari のリーダー表示の体裁を自分好みに修正


こんにちは。
Safari の「リーダー」表示の体裁を自分好みに修正してみました(MacOSX 10.9)。

$ sudo ./mypatch.rb Reader.html.patch
mypatch.rb
#!/usr/bin/ruby
# coding: utf-8
cmd = "patch -b -p0 < "
ARGV.each {|file|
    `#{cmd + file + " 2>&1"}`  # for sh/bash
}
Reader.html.patch
--- /System/Library/StagedFrameworks/Safari/Safari.framework/Versions/A/Resources/Reader.html
+++ Reader.html.orig
@@ -99,7 +99,7 @@
         }

         #article {
-            background: rgb(251, 251, 251);
+            background: rgb(232, 232, 208);
             background-size: 640px 254px;
             max-width: 800px;
             margin: 22px auto 0 auto;
@@ -138,14 +138,14 @@
             margin-left: auto;
             margin-right: auto;
             color: rgb(65, 65, 65);
-            padding: 45px 53px;
+            padding: 4px 12px;
             position: relative;
             overflow: hidden;
             transition: height .5s ease-out;

             border-bottom: 1px solid rgb(206, 206, 206);
-            margin-right: 17px;
-            margin-left: 17px;
+            margin-right: 4px;
+            margin-left: 4px;
         }

         .page:last-of-type {

  • 上記のmypatch.rbは、「python pip search への修正」の時と同じです。