padding: 5px 5px 5px 10px;
}
+.title {
+ font-size: 150%;
+ font-weight: bold;
+ margin: 10px 2px;
+}
+
dl
{
padding: 0 0 0 10px;
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>$title</title>
<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$search/search.js"></script>
-<link href="$relpath$navtree.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$jquery.js"></script>
-<script type="text/javascript" src="$relpath$navtree.js"></script>
-<script type="text/javascript" src="$relpath$resize.js"></script>
+$treeview
+$search
+$mathjax
<script type="text/javascript">
$(document).ready(initResizable);
</script>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>$title</title>
<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$search/search.js"></script>
-<link href="$relpath$navtree.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$jquery.js"></script>
-<script type="text/javascript" src="$relpath$navtree.js"></script>
-<script type="text/javascript" src="$relpath$resize.js"></script>
+$treeview
+$search
+$mathjax
<script type="text/javascript">
$(document).ready(initResizable);
</script>
padding: 5px 5px 5px 10px;
}
+.title {
+ font-size: 150%;
+ font-weight: bold;
+ margin: 10px 2px;
+}
+
dl
{
padding: 0 0 0 10px;
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>$title</title>
<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$search/search.js"></script>
-<link href="$relpath$navtree.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$jquery.js"></script>
-<script type="text/javascript" src="$relpath$navtree.js"></script>
-<script type="text/javascript" src="$relpath$resize.js"></script>
+$treeview
+$search
+$mathjax
<script type="text/javascript">
$(document).ready(initResizable);
</script>