From 7e5d1a0875d77b16df705df076437c6e3c745ed2 Mon Sep 17 00:00:00 2001 From: Michael Sweet Date: Thu, 6 Apr 2017 14:36:04 -0400 Subject: [PATCH] Only use generic fonts. --- doc/docset.css | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/docset.css b/doc/docset.css index 60cb26a..e9e785a 100644 --- a/doc/docset.css +++ b/doc/docset.css @@ -1,21 +1,21 @@ body { background: white; color: black; - font-family: "lucida grande", geneva, helvetica, arial, sans-serif; + font-family: sans-serif; } h1, h2, h3, h4, h5, h6, p, td, th { - font-family: "lucida grande", geneva, helvetica, arial, sans-serif; + font-family: sans-serif; } kbd { color: #006600; - font-family: monaco, courier, monospace; + font-family: monospace; font-weight: bold; } pre { - font-family: monaco, courier, monospace; + font-family: monospace; } pre.example { @@ -27,7 +27,7 @@ pre.example { pre.example em { color: #3f0000; - font-family: "lucida grande", geneva, helvetica, arial, sans-serif; + font-family: sans-serif; } div.summary table {