changeset 43509 | 4414c8b02bf9 |
parent 43472 | ac6db8f44e5d |
child 44203 | 77881904ee91 |
--- a/src/Tools/jEdit/README.html Wed Jun 22 16:35:31 2011 +0200 +++ b/src/Tools/jEdit/README.html Wed Jun 22 20:21:22 2011 +0200 @@ -5,7 +5,7 @@ <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <style type="text/css" media="screen"> -body { font-family: IsabelleText; font-size: 14pt; } +body { font-family: STIXGeneral, IsabelleText; font-size: 14pt; } </style> <title>Notes on the Isabelle/jEdit Prover IDE</title> </head>