From e4282ea99c664d8d58067bee199cbbcf881b60d5 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 4 Jul 2009 13:28:35 +0200 Subject: Imported Upstream version 8.2.pl1+dfsg --- doc/common/styles/html/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 +++++++++++++ doc/common/styles/html/simple/style.css | 13 +++++++++++++ 3 files changed, 28 insertions(+) create mode 100644 doc/common/styles/html/simple/footer.html create mode 100644 doc/common/styles/html/simple/header.html create mode 100644 doc/common/styles/html/simple/style.css (limited to 'doc/common') 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 @@ + + 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 @@ + + + + + + +The Coq Standard Library + + + + 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 -- cgit v1.2.3