about summary refs log tree commit diff
path: root/doc/manual/style.css
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-03-16T16·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-03-16T16·45+0000
commitad3121a52dacba417387df543df573816cd15b55 (patch)
tree822551b4ea02ec8fb661cb117d5bef85eaffb660 /doc/manual/style.css
parentf982df3cd766072fdb9d36ba6501eaa246381092 (diff)
* Documented common environment variables.
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r--doc/manual/style.css7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 893e7db3f1df..c97cb9cbf4b8 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -229,4 +229,9 @@ div.epigraph
 table.productionset table.productionset
 {
     font-family: monospace;
-}
\ No newline at end of file
+}
+
+a[href] {
+    text-decoration: none;
+    border-bottom: 1px dotted #005aa0;
+}