Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid STIX font, which tends to render badly;
authorwenzelm
Sat, 20 Oct 2012 17:40:51 +0200
changeset 49956 7d4a24d40e02
parent 49955 10b2c0b68a4d
child 49957 6250121bfffb
avoid STIX font, which tends to render badly;
src/Tools/jEdit/README.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle