|
16233
|
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">
|
|
16239
|
3 |
<!-- $Id$ -->
|
|
16233
|
4 |
<dummy:wrapper xmlns:dummy="http://nowhere.no">
|
|
|
5 |
<?contentType?>
|
|
16239
|
6 |
<!-- the very base - here all elements are fixed to a certain base style -->
|
|
16233
|
7 |
<link rel="stylesheet" type="text/css" media="all" href="//dist/css/aelfwine.css"/>
|
|
16239
|
8 |
<!-- basic isabelle-site-specific styles -->
|
|
16233
|
9 |
<link rel="stylesheet" type="text/css" media="all" href="//dist/css/isabelle_base.css"/>
|
|
16239
|
10 |
<!-- advanced sceen styles - they are imported such that they are ignored by old-fashioned browsers -->
|
|
16233
|
11 |
<style type="text/css" media="screen">
|
|
|
12 |
@import url(<?relativeRoot href="dist/css/isabelle_screen.css"?>);
|
|
|
13 |
</style>
|
|
16239
|
14 |
<!-- advanced print styles -->
|
|
16233
|
15 |
<link rel="stylesheet" type="text/css" media="print" href="//dist/css/isabelle_print.css"/>
|
|
|
16 |
<link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
|
|
|
17 |
<meta name="language" content="en"/>
|
|
|
18 |
<meta name="robots" content="index follow"/>
|
|
16271
|
19 |
<meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />
|
|
16233
|
20 |
</dummy:wrapper> |