<html>
<head><title>$title</title>
<link href="/static/favicon.ico" type="image/x-icon" rel="shortcut icon">
- <style media="screen" type="text/css">
- @import "static/css/all.css";
- </style>
+ <link rel="stylesheet" href="/svn/style.css" type="text/css" />
+ <link rel="stylesheet" href="/svn/layout.css" type="text/css" media="screen" />
<script type="text/javascript">
var helpWin = null;
function closeWin(){
--- /dev/null
+h1 {
+ border-bottom: 1px dashed black;
+ margin-top: 0;
+ overflow: auto;
+}
+h1, h2, h3, h4, h5, h6 {
+ font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
+ font-weight: bold;
+ color: #529;
+}
+kbd, dt {
+ font-weight: bold;
+}
+html {
+ font-size: 87.5%;
+}
+body {
+ font-family: Tahoma, Sans, sans-serif;
+}
+pre, code, samp, kbd, tt {
+ font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
+ font-size: 100%;
+}
+#logo {
+ float: right;
+ margin: -1em -1em 0 0;
+}
+#logo img {
+ border: none;
+}
+p, li {
+ line-height: 1.5em;
+}
+.long li, .long dd {
+ margin-bottom: .5em;
+}
+pre {
+ background: #f6f6f6;
+ border: 1px solid #ddd;
+ padding: .125em;
+ line-height: 1.25em;
+}
+.note {
+ border: 1px solid #eea;
+ background: #ffd;
+ padding: .25em;
+}
+a:link, a:visited {
+ text-decoration: none;
+}
+a:link:hover, a:visited:hover {
+ text-decoration: underline;
+}
+var {
+ color: #090;
+}
+.index h1 tt {
+ font-size: 83%;
+}
+.index table {
+ border-collapse: collapse;
+}
+.index table td {
+ padding: 0 0.5em;
+}
+.index table td a {
+ font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
+}