summaryrefslogtreecommitdiff
path: root/doc/common/styles
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-07-04 13:28:35 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2009-07-04 13:28:35 +0200
commite4282ea99c664d8d58067bee199cbbcf881b60d5 (patch)
treed4c4a873eb055c728666f367469fa26c3417793a /doc/common/styles
parenta0a94c1340a63cdb824507b973393882666ba52a (diff)
Imported Upstream version 8.2.pl1+dfsgupstream/8.2.pl1+dfsg
Diffstat (limited to 'doc/common/styles')
-rw-r--r--doc/common/styles/html/simple/footer.html2
-rw-r--r--doc/common/styles/html/simple/header.html13
-rw-r--r--doc/common/styles/html/simple/style.css13
3 files changed, 28 insertions, 0 deletions
diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html
new file mode 100644
index 00000000..308b1d01
--- /dev/null
+++ b/doc/common/styles/html/simple/footer.html
@@ -0,0 +1,2 @@
+</body>
+</html>
diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html
new file mode 100644
index 00000000..14d2f988
--- /dev/null
+++ b/doc/common/styles/html/simple/header.html
@@ -0,0 +1,13 @@
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"/>
+<link rel="stylesheet" href="coqdoc.css" type="text/css"/>
+<title>The Coq Standard Library</title>
+</head>
+
+<body>
+
diff --git a/doc/common/styles/html/simple/style.css b/doc/common/styles/html/simple/style.css
new file mode 100644
index 00000000..0b1e640b
--- /dev/null
+++ b/doc/common/styles/html/simple/style.css
@@ -0,0 +1,13 @@
+#footer {
+ border-top: solid black 1pt;
+ text-align: center;
+ text-indent: 0pt;
+}
+
+.menu { }
+.menu li {
+ display: inline;
+ margin: 0pt;
+ padding: .5ex 1em;
+ list-style: none
+} \ No newline at end of file