color: #000;
background: #fefefe;
font-family: serif;
- margin: 1em;
+ margin: 0;
border: 0;
padding: 0;
line-height: 120%;
}
body {
- margin: 0;
+ margin: 10px;
border: 0;
padding: 0;
}
color: #686868;
}
+.buginfo p
+{
+ font-family: sans-serif;
+ font-size: 110%;
+ margin-bottom: 0px
+}
+
+.buginfo p + p
+{
+ margin: 0;
+ margin-top: 0px;
+ border: 0;
+}
+
+
+.pkginfo p
+{ font-family: sans-serif;
+ font-size: 110%;
+ margin-bottom: 0px
+}
+
+.pkginfo p + p
+{
+ margin: 0;
+ margin-top: 0px;
+ padding: 0;
+ border: 0;
+}
+
+
+.versiongraph
+{
+ float: right
+
+}
+
pre.tags {
color: #a3a3a3;
font-size: 90%;