--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/udis86-1.4/docs/style.css	Tue Apr 05 20:44:01 2011 +0200
@@ -0,0 +1,65 @@
+body {
+	font: 76%, sans-serif;
+	background-color: #fff;
+	margin: 0;
+	padding: 0;
+}
+
+#topbar {
+	margin-top: 0px;
+	padding: 1em;
+	background-color: skyblue;
+	color: navy;
+}
+#topbar h1 {
+	padding: 0;
+	margin: 0;
+	font: 2em, sans-serif;
+	font-weight: bold;
+}
+
+#wrapper {
+	width: 750px;
+}
+
+#menu {
+}
+#content a {
+	text-decoration: none;
+	color: navy;
+	border-bottom: 1px solid;
+}
+
+#content {
+	margin-left: 10px;
+	font-size: 1.1em;
+	padding: 1em;
+	vertical-align: top;
+	border-left: 1px solid skyblue;
+	border-right: 1px solid skyblue;
+}
+
+.box {
+	background-color: #efefef;
+	border: 1px dotted #aaa;
+	padding: .5em;
+}
+
+li {
+	margin-bottom: .5em;
+}
+
+pre {
+	padding: .5em;	
+	background-color: #f5f5f5;
+	font-size: 1.1em;
+	border: 1px solid #999;
+}
+
+code {
+	font-size: 1.2em;
+}
+
+ul {
+	margin: 1em;
+}