equal
deleted
inserted
replaced
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
3 <!-- $Id$ --> |
|
4 <dummy:wrapper xmlns:dummy="http://nowhere.no"> |
|
5 <?contentType?> |
|
6 <!-- the very base - here all elements are fixed to a certain base style --> |
|
7 <link rel="stylesheet" type="text/css" media="all" href="//css/aelfwine.css"/> |
|
8 <!-- basic isabelle site-specific styles --> |
|
9 <link rel="stylesheet" type="text/css" media="all" href="//css/isabelle_base.css"/> |
|
10 <!-- advanced sceen styles - they are imported such that they are ignored by old-fashioned browsers --> |
|
11 <style type="text/css" media="screen"> |
|
12 @import url(<?relativeRoot href="css/isabelle_screen.css"?>); |
|
13 </style> |
|
14 <!-- advanced print styles --> |
|
15 <link rel="stylesheet" type="text/css" media="print" href="//css/isabelle_print.css"/> |
|
16 <link rel="icon" href="//img/favicon.ico" type="image/icon"/> |
|
17 <meta name="language" content="en"/> |
|
18 <meta name="robots" content="index follow"/> |
|
19 <meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann, Tjark Weber" /> |
|
20 </dummy:wrapper> |
|