diff --git a/doc/introduction.xml b/doc/introduction.xml
index bdc035bbaf7..577b739e7d1 100644
--- a/doc/introduction.xml
+++ b/doc/introduction.xml
@@ -7,13 +7,13 @@
This manual tells you how to write packages for the Nix Packages
collection (Nixpkgs). Thus it’s for packagers and developers who want
to add packages to Nixpkgs. End users are kindly referred to the
-Nix
+Nix
manual.
This manual does not describe the syntax and semantics of the
Nix expression language, which are given in the Nix manual in the
chapter
+xlink:href="http://hydra.nixos.org/job/nix/trunk/tarball/latest/download-by-type/doc/manual/#chap-writing-nix-expressions">chapter
on writing Nix expressions. It only describes the facilities
provided by Nixpkgs to make writing packages easier, such as the
standard build environment (stdenv).
diff --git a/doc/language-support.xml b/doc/language-support.xml
index 806eab62ebe..dc63dd68503 100644
--- a/doc/language-support.xml
+++ b/doc/language-support.xml
@@ -196,6 +196,7 @@ twisted = buildPythonPackage {
+
diff --git a/doc/manual.xml b/doc/manual.xml
index 881528e7cd9..927361ba5c8 100644
--- a/doc/manual.xml
+++ b/doc/manual.xml
@@ -14,14 +14,12 @@
Dolstra
- Delft University of Technology
- Department of Software Technology
+ LogicBlox
- 2008
- 2009
+ 2008-2012
Eelco Dolstra
diff --git a/doc/package-notes.xml b/doc/package-notes.xml
index 39ad9d897e3..9a687464b59 100644
--- a/doc/package-notes.xml
+++ b/doc/package-notes.xml
@@ -224,19 +224,23 @@ you should modify
+
+
diff --git a/doc/style.css b/doc/style.css
index e992a9a85dd..ac76a64bbb2 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -8,15 +8,14 @@
body
{
- font-family: sans-serif;
+ font-family: "Nimbus Sans L", sans-serif;
background: white;
margin: 2em 1em 2em 1em;
}
-h1,h2,h3
+h1, h2, h3, h4
{
color: #005aa0;
- text-align: left;
}
h1 /* title */
@@ -46,6 +45,11 @@ h3 /* subsections */
font-size: 125%;
}
+div.simplesect h2
+{
+ font-size: 110%;
+}
+
div.appendix h3
{
font-size: 150%;
@@ -70,11 +74,13 @@ div.refsection h3
div.example
{
- border: 1px solid #6185a0;
+ border: 1px solid #b0b0b0;
padding: 6px 6px;
margin-left: 1.5em;
margin-right: 1.5em;
background: #f4f4f8;
+ border-radius: 0.4em;
+ box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
}
div.example p.title
@@ -82,6 +88,11 @@ div.example p.title
margin-top: 0em;
}
+div.example pre
+{
+ box-shadow: none;
+}
+
/***************************************************************************
Screen dumps:
@@ -89,14 +100,15 @@ div.example p.title
pre.screen, pre.programlisting
{
- border: 1px solid #6185a0;
+ border: 1px solid #b0b0b0;
padding: 3px 3px;
margin-left: 1.5em;
margin-right: 1.5em;
color: #600000;
background: #f4f4f8;
font-family: monospace;
- /* font-size: 90%; */
+ border-radius: 0.4em;
+ box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
}
div.example pre.programlisting
@@ -113,13 +125,15 @@ div.example pre.programlisting
.note, .warning
{
- border: 1px solid #6185a0;
+ border: 1px solid #b0b0b0;
padding: 3px 3px;
margin-left: 1.5em;
margin-right: 1.5em;
margin-bottom: 1em;
padding: 0.3em 0.3em 0.3em 0.3em;
background: #fffff5;
+ border-radius: 0.4em;
+ box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
}
div.note, div.warning
@@ -131,7 +145,6 @@ div.note h3, div.warning h3
{
color: red;
font-size: 100%;
-// margin: 0 0 0 0;
padding-right: 0.5em;
display: inline;
}
@@ -162,20 +175,26 @@ div.navfooter *
Links colors and highlighting:
***************************************************************************/
+a { text-decoration: none; }
+a:hover { text-decoration: underline; }
a:link { color: #0048b3; }
a:visited { color: #002a6a; }
-a:hover { background: #ffffcd; }
/***************************************************************************
Table of contents:
***************************************************************************/
-.toc
+div.toc
{
font-size: 90%;
}
+div.toc dl
+{
+ margin-top: 0em;
+ margin-bottom: 0em;
+}
/***************************************************************************
@@ -208,76 +227,29 @@ div.glosslist dt
font-style: italic;
}
-.default
-{
- font-style: italic;
-}
-
-.availability
-{
- font-style: italic;
-}
-
.varname
{
color: #400000;
}
-
-div.informaltable table
+span.command strong
{
- border: 1px solid #6185a0;
- width: 100%;
-}
-
-div.informaltable td
-{
- border: 0;
- padding: 5px;
-}
-
-div.informaltable td.default
-{
- text-align: right;
-}
-
-div.informaltable th
-{
- text-align: left;
- color: #005aa0;
- border: 0;
- padding: 5px;
- background: #fffff5;
- font-weight: normal;
- font-style: italic;
-}
-
-td.varname, td.tagname, td.paramname
-{
- font-weight: bold;
- vertical-align: top;
-}
-
-div.epigraph
-{
- font-style: italic;
- text-align: right;
-}
-
-table.productionset table.productionset
-{
- font-family: monospace;
-}
-
-strong.command
-{
-// font-family: monospace;
-// font-style: italic;
-// font-weight: normal;
+ font-weight: normal;
color: #400000;
}
-div.calloutlist td
+div.calloutlist table
{
- padding-bottom: 1em;
+ box-shadow: none;
}
+
+table
+{
+ border-collapse: collapse;
+ box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
+}
+
+div.affiliation
+{
+ font-style: italic;
+}
\ No newline at end of file