summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authordavemds <dave@gurumeditation.it>2014-08-08 15:54:13 +0200
committerdavemds <dave@gurumeditation.it>2014-08-08 15:54:38 +0200
commit62af2b9bd188d89ad89d1264fbf7b53733cc7ffe (patch)
tree5f7dfd1ec61967baaf88cb28f22a0a4888007baa /doc
parent1eca781d1de588ca5b296ab75d0661b9e1c9b647 (diff)
Edcref: final doc improvements.
* Be consistent with the way we specify parameters * A last css refinement
Diffstat (limited to 'doc')
-rw-r--r--doc/e.css7
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/e.css b/doc/e.css
index a34c7e7..b78c9ca 100644
--- a/doc/e.css
+++ b/doc/e.css
@@ -976,19 +976,20 @@ table.edcref td.subsection a {
976 font-size: 1.5em; 976 font-size: 1.5em;
977} 977}
978 978
979table.edcref td { 979table.edcref td.property {
980 vertical-align: top; 980 vertical-align: top;
981 width: 1%;
981} 982}
982 983
983table.edcref .fragment { 984table.edcref .fragment {
984 width: 90%; 985 width: 90%;
986 border: 1px solid #AAAAAA;
987 background-color: #F6F6F6;
985 padding-top: 10px; 988 padding-top: 10px;
986 padding-left: 3px; 989 padding-left: 3px;
987 margin-right: 100px; 990 margin-right: 100px;
988 border: 1px solid #AAAAAA;
989 margin-top: 10px; 991 margin-top: 10px;
990 margin-bottom: 10px; 992 margin-bottom: 10px;
991 background-color: #F6F6F6;
992} 993}
993 994
994table.edcref td.description { 995table.edcref td.description {