{"sections":[{"urls":[],"urlPrefixes":[],"domains":["washingtonpost.com"],"regexps":[],"code":"@namespace url(http://www.w3.org/1999/xhtml);\n#article_body { font-family:verdana,arial,helvetica,sans-serif;\r\n                font-size:12px; }\r\n\r\n.teased { font-family:verdana,arial,helvetica,sans-serif;\r\n                font-size:12px; }"}],"url":"http://userstyles.org/styles/2391","updateUrl":"https://userstyles.org/styles/chrome/2391.json","md5Url":"https://update.userstyles.org/2391.md5","originalMd5":"aa32ff31e02c54d244295e69ca578b35","name":"Washingtonpost.com - article font change","thumbnail":"https://userstyles.org/auto_style_screenshots/2391-after.png?r=1781208154"}