May 24, 2008
The AA vote
JEdict (4.5.3) does not let you change the font used in its WebKit web browser, nor does it let you specify a custom user stylesheet. Kill two birds with ... well, two stones:
$ defaults write -app JEDict WebKitUserStyleSheetLocationPreferenceKey -string "~/css/jedict.css" $ defaults write -app JEDict WebKitUserStyleSheetEnabledPreferenceKey -boolean true
A minimal stylesheet for viewing something like 2ch ascii art on OS X might be:
body { font: 14pt "MS-PGothic" !important; } /* 16.5pt works too -- but not 16 */ table { font-size: 100%; }
Deep Links
Shallow links
Feeds
3e8.org is
Jim Ursetto
Contact