aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitmodules3
m---------doc/alabaster0
-rw-r--r--doc/conf.py1
-rw-r--r--haddock-api/resources/html/Classic.theme/xhaddock.css4
-rw-r--r--haddock-api/resources/html/Ocean.std-theme/ocean.css3
-rw-r--r--haddock.cabal2
-rw-r--r--html-test/ref/ocean.css3
7 files changed, 11 insertions, 5 deletions
diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index ac3559da..00000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "doc/alabaster"]
- path = doc/alabaster
- url = git://github.com/bitprophet/alabaster.git
diff --git a/doc/alabaster b/doc/alabaster
deleted file mode 160000
-Subproject aabda1182083d21b6d9bafb53ea8a99eb4be4cf
diff --git a/doc/conf.py b/doc/conf.py
index 6e73eb5c..d6b8bda8 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -29,7 +29,6 @@ pygments_style = 'tango'
# -- Options for HTML output ----------------------------------------------
-html_theme_path = ['./alabaster']
html_theme = 'alabaster'
htmlhelp_basename = 'Haddockdoc'
diff --git a/haddock-api/resources/html/Classic.theme/xhaddock.css b/haddock-api/resources/html/Classic.theme/xhaddock.css
index ed231b5a..19dc28ec 100644
--- a/haddock-api/resources/html/Classic.theme/xhaddock.css
+++ b/haddock-api/resources/html/Classic.theme/xhaddock.css
@@ -116,6 +116,10 @@ ul.links li {
cursor: pointer;
}
+@media print {
+ #footer { display: none; }
+}
+
#package-header {
color: #ffffff;
padding: 5px 5px 5px 31px;
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css
index fcf23810..3ebb14de 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -183,6 +183,9 @@ pre {
.keyword { font-weight: normal; }
.def { font-weight: bold; }
+@media print {
+ #footer { display: none; }
+}
/* @end */
diff --git a/haddock.cabal b/haddock.cabal
index 7a2e0a04..8a3bb9ff 100644
--- a/haddock.cabal
+++ b/haddock.cabal
@@ -17,7 +17,7 @@ stability: experimental
extra-source-files:
CHANGES
- README
+ README.md
doc/Makefile
doc/README.md
doc/*.rst
diff --git a/html-test/ref/ocean.css b/html-test/ref/ocean.css
index fcf23810..3ebb14de 100644
--- a/html-test/ref/ocean.css
+++ b/html-test/ref/ocean.css
@@ -183,6 +183,9 @@ pre {
.keyword { font-weight: normal; }
.def { font-weight: bold; }
+@media print {
+ #footer { display: none; }
+}
/* @end */