author | wenzelm |
Sat, 20 Oct 2012 17:40:51 +0200 | |
changeset 50971 | 7d4a24d40e02 |
parent 50970 | 10b2c0b68a4d |
child 50972 | 6250121bfffb |
1.1 --- a/src/Tools/jEdit/README.html Sat Oct 20 17:15:40 2012 +0200 1.2 +++ b/src/Tools/jEdit/README.html Sat Oct 20 17:40:51 2012 +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: STIXGeneral, IsabelleText; font-size: 14pt; } 1.8 +body { font-family: IsabelleText; font-size: 14pt; } 1.9 </style> 1.10 <title>Welcome to the Isabelle/jEdit Prover IDE</title> 1.11 </head>