projects
/
xmldoc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added a glossary with an alphabethical list of elements
[xmldoc.git]
/
doc
/
main.css
diff --git
a/doc/main.css
b/doc/main.css
index
4ada333
..
dbb3494
100644
(file)
--- a/
doc/main.css
+++ b/
doc/main.css
@@
-46,7
+46,7
@@
div.titlepage
p
{
- font-size :
9
0%;
+ font-size :
10
0%;
}
span.remark
@@
-64,3
+64,9
@@
table
border-collapse : collapse;
padding : 1px ;
}
+
+dt
+{
+ font-weight : bold ;
+ top-margin : 1ex;
+}