# HG changeset patch
# User wenzelm
# Date 1444402704 -7200
# Node ID b3c665940d62632d507f53feba8debb40a8b8515
# Parent  16ed9b97c72dd94d6625ecd30d578500c310cf3b
server-side fonts;

diff -r 16ed9b97c72d -r b3c665940d62 etc/isabelle.css
--- a/etc/isabelle.css	Fri Oct 09 16:29:18 2015 +0200
+++ b/etc/isabelle.css	Fri Oct 09 16:58:24 2015 +0200
@@ -1,9 +1,25 @@
 /* style file for Isabelle XHTML/XML output */
 
+@font-face {
+  font-family: 'IsabelleText';
+  src: url('IsabelleText.ttf') format('truetype');
+}
+
+@font-face {
+  font-family: 'IsabelleText';
+  src: url('IsabelleTextBold.ttf') format('truetype');
+  font-weight: bold;
+}
+
 body { background-color: #FFFFFF; }
 
 .head     { background-color: #FFFFFF; }
-.source   { background-color: #FFFFFF; padding: 10px; }
+.source   {
+  background-color: #FFFFFF;
+  padding: 10px;
+  font-family: IsabelleText;
+  line-height: 120%;
+}
 
 .external_source { background-color: #FFFFFF; padding: 10px; }
 .external_footer { background-color: #FFFFFF; }
diff -r 16ed9b97c72d -r b3c665940d62 src/Pure/Thy/html.ML
--- a/src/Pure/Thy/html.ML	Fri Oct 09 16:29:18 2015 +0200
+++ b/src/Pure/Thy/html.ML	Fri Oct 09 16:58:24 2015 +0200
@@ -16,8 +16,6 @@
   val href_path: Url.T -> text -> text
   val href_opt_path: Url.T option -> text -> text
   val para: text -> text
-  val preform: text -> text
-  val verbatim: string -> text
   val begin_document: string -> text
   val end_document: text
   val begin_session_index: string -> Url.T -> (Url.T * string) list -> text
@@ -253,8 +251,6 @@
   | href_opt_path (SOME p) txt = href_path p txt;
 
 fun para txt = "\n<p>" ^ txt ^ "</p>\n";
-fun preform txt = "<pre>" ^ txt ^ "</pre>";
-val verbatim = preform o output;
 
 
 (* document *)
@@ -295,7 +291,7 @@
   command "theory" ^ " " ^ name A ^ "<br/>\n" ^
   keyword "imports" ^ " " ^ space_implode " " (map (uncurry href_opt_path o apsnd name) Bs) ^
   "<br/>\n" ^
-  enclose "\n</div>\n<div class=\"source\">\n<pre>" "</pre>\n" txt ^
+  enclose "\n</div>\n<div class=\"source\">\n<pre class=\"source\">" "</pre>\n" txt ^
   end_document;
 
 end;
diff -r 16ed9b97c72d -r b3c665940d62 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Fri Oct 09 16:29:18 2015 +0200
+++ b/src/Pure/Thy/present.scala	Fri Oct 09 16:58:24 2015 +0200
@@ -105,6 +105,8 @@
       Isabelle_System.mkdirs(session_prefix)
       File.copy(graph_file, (session_prefix + Path.basic("session_graph.pdf")).file)
       File.copy(Path.explode("~~/etc/isabelle.css"), session_prefix)
+      File.copy(Path.explode("~~/lib/fonts/IsabelleText.ttf"), session_prefix)
+      File.copy(Path.explode("~~/lib/fonts/IsabelleTextBold.ttf"), session_prefix)
     }
   }
 }