| changeset 49956 | 7d4a24d40e02 |
| parent 49173 | fa01a202399c |
| child 50131 | 921cc694057b |
--- a/src/Tools/jEdit/README.html Sat Oct 20 17:15:40 2012 +0200 +++ b/src/Tools/jEdit/README.html Sat Oct 20 17:40:51 2012 +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: STIXGeneral, IsabelleText; font-size: 14pt; } +body { font-family: IsabelleText; font-size: 14pt; } </style> <title>Welcome to the Isabelle/jEdit Prover IDE</title> </head>