From fcc172758b469b24b5281889004e5e96112b03c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Love=20H=C3=B6rnquist=20=C3=85strand?= <lha@kth.se>
Date: Fri, 25 Aug 2006 09:17:29 +0000
Subject: [PATCH] Inital Heimdal css for the info manual

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@17937 ec53bebd-3082-4978-b11e-865c3cabbd6b
---
 doc/heimdal.css | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 doc/heimdal.css

diff --git a/doc/heimdal.css b/doc/heimdal.css
new file mode 100644
index 000000000..237d03b07
--- /dev/null
+++ b/doc/heimdal.css
@@ -0,0 +1,47 @@
+body {
+	color: black;
+	background-color: #fdfdfd;
+	font-family: serif;
+	max-width: 40em;
+}
+h1, h2, h3 {
+	font-family: sans-serif;
+	font-weight: bold;
+}
+h1 {
+	font-size: 200%;
+}
+h2 {
+	font-size: 150%;
+}
+h3 {
+	font-size: 120%;
+}
+h4 {
+	font-weight: bold;
+}
+pre.example {
+	margin-left: 2em;
+	padding: 1em 0em;
+	border: 2px dashed #c0c0c0;
+	background: #f0f0f0;
+}
+a:link {
+  color: blue;
+  text-decoration: none;
+}
+a:visited {
+  color: red;
+  text-decoration: none
+}
+a:hover {
+  text-decoration: underline
+}
+span.literal {
+	font-family: monospace;
+}
+hr {
+	border-style: none;
+	background-color: black;
+	height: 1px;
+}