summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
533a2f4)
Minor syntatical tidyups.
Make pre text "normal" size again.
color: #000000;
font-family: sans-serif;
font-size: small;
color: #000000;
font-family: sans-serif;
font-size: small;
- margin: 0;
- padding: 0;
+ margin: 0px;
+ padding: 0px;
}
/* Contains the entire of the page */
}
/* Contains the entire of the page */
+ padding: 5px 0px 5px 0px;
text-align: center;
}
#menu .logo {
text-align: center;
}
#menu .logo {
/* Contains the footer */
#footer {
/* Contains the footer */
#footer {
+ padding: 60px 0px 5px 0px;
}
#footer p {
text-align: center;
}
#footer p {
text-align: center;
/* Contains the body text of the page */
#contents {
/* Contains the body text of the page */
#contents {
- padding: 0 15px 0 15px;
+ padding: 0px 15px 0px 15px;
}
#contents .top {
margin-top: 0px;
}
#contents .top {
margin-top: 0px;
padding-left: 5px;
background: #f0f0f0;
color: #000000;
padding-left: 5px;
background: #f0f0f0;
color: #000000;
- margin: -15px -10px 0 0;
+ margin: -15px -10px 0px 0px;
padding: 0px;
text-align: right;
background: transparent;
color: #000000;
}
#topnav ul {
padding: 0px;
text-align: right;
background: transparent;
color: #000000;
}
#topnav ul {
- padding-left: 0;
- margin-left: 0;
+ padding-left: 0px;
+ margin-left: 0px;
display: inline;
}
#topnav li {
display: inline;
}
#topnav li {
list-style: none;
display: inline;
}
list-style: none;
display: inline;
}
+#cvslog div {
+ border: 2px solid #000066;
+ margin: 15px 0px 15px 0px;
+}
+#cvslog div.logitemfirst {
+ margin: 0px;
+ padding: 5px 0px 5px 0px;
+ border: 0px;
+}
+#cvslog div.logitem {
+ margin: 0px;
+ padding: 5px 0px 5px 0px;
+ border: 0px;
+ border-top: 1px dashed #000066;
+}
+#cvslog h3 {
+ background: #000066;
+ color: #ffffff;
+ margin: 0px;
+ padding: 3px;
+}
+#cvslog a.cvsloghead {
+ color: #ffffff;
+}
+#cvslog p {
+ margin: 0px;
+ padding: 5px;
+}
+#cvslog pre {
+ padding: 5px;
+ margin: 10px;
+}
/* All images have no border */
img {
/* All images have no border */
img {
}
/* For when we want to hide something to CSS browsers */
}
/* For when we want to hide something to CSS browsers */