diff --git a/build/resources/releasedocs/README.html b/build/resources/releasedocs/README.html index 198a95138..7d86134c0 100644 --- a/build/resources/releasedocs/README.html +++ b/build/resources/releasedocs/README.html @@ -8,15 +8,15 @@ body { font-size : 100%; background-color : #d3d6d9; - padding: 0px; - margin: 0px 0px 30px 0px; + padding: 0; + margin: 0 0 30px 0; } body, td, th { font-family : arial, helvetica, sans-serif; font-size : 10pt; } pre, tt, code { - font-family : courier new, monospaced; + font-family : courier new, monospace; font-size : 9pt; } #pageContainer { @@ -36,11 +36,11 @@ pre, tt, code { background-color: #e7eaee; border: 1px solid #cccccc; border-bottom: none; - -moz-border-radius: 5px 5px 0px 0px; - margin: 10px 0px 0px 0px; + -moz-border-radius: 5px 5px 0 0; + margin: 10px 0 0 0; } #pageBody { - margin: 0px 18px 0px 20px; + margin: 0 18px 0 20px; } @@ -73,12 +73,12 @@ a:active { color: #ffffff; font-size: 11px; line-height: 18px; - padding: 0px 0px 0px 0px; - margin: 0px 0px 25px 0px; + padding: 0 0 0 0; + margin: 0 0 25px 0; overflow: hidden; } .navigation a { - margin: 0px 20px 0px 20px; + margin: 0 20px 0 20px; } .navigation a:link { color: #ffffff; } .navigation a:visited { color: #ffffff; } @@ -94,37 +94,37 @@ h1 { font-size : 1.7em; font-weight : bold; color: #670e15; - padding: 0px; - margin: 30px 0px 0px 20px; + padding: 0; + margin: 30px 0 0 20px; } h2 { font-size : 1.3em; font-weight : bold; - margin: 40px 0px 6px 0px; - padding: 0px; + margin: 40px 0 6px 0; + padding: 0; color: #335588; } h3 { font-size : 1.0em; font-weight : bold; - margin: 25px 0px 3px 0px; - padding: 0px; + margin: 25px 0 3px 0; + padding: 0; color: #334466; } /* general elements */ p { - margin: 0px 0px 15px 0px; + margin: 0 0 15px 0; } ul { - margin: 5px 0px 15px 15px; + margin: 5px 0 15px 15px; } li { padding-bottom : 4px; } tt { - font-family : courier new; + font-family : courier new, monospace; font-weight : bold; color : #060; } @@ -133,16 +133,7 @@ hr { height: 1px; background-color: #999999; border: none; - margin: 40px 0px 20px 0px; -} - -.footer { - font-size : 8pt; - color : #666; - text-align : center; - margin-top : 2em; - padding-top : 0.5em; - border-top : 1px #CCC solid; + margin: 40px 0 20px 0; } @@ -160,7 +151,7 @@ hr {

- +
@@ -202,7 +193,7 @@ last release. + + +
version: @version@