author | wenzelm |
Wed, 22 Jun 2011 20:21:22 +0200 | |
changeset 44380 | 4414c8b02bf9 |
parent 44379 | bbbd6cad7df1 |
child 44381 | 17d431c92575 |
1.1 --- a/src/Tools/jEdit/README.html Wed Jun 22 16:35:31 2011 +0200 1.2 +++ b/src/Tools/jEdit/README.html Wed Jun 22 20:21:22 2011 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 <head> 1.5 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> 1.6 <style type="text/css" media="screen"> 1.7 -body { font-family: IsabelleText; font-size: 14pt; } 1.8 +body { font-family: STIXGeneral, IsabelleText; font-size: 14pt; } 1.9 </style> 1.10 <title>Notes on the Isabelle/jEdit Prover IDE</title> 1.11 </head>