/*----- General typesetting and layout -----------------------------------*/
h1 {
- border-bottom-style: solid;
- border-bottom-width: medium;
+ border-bottom: medium solid;
padding-bottom: 1ex;
}
h2 {
- border-top-style: solid;
- border-top-width: thin;
+ border-top: thin solid;
padding-top: 1ex;
margin-top: 4ex;
}
}
div.credits {
- border-top-style: solid;
- border-top-width: thin;
+ border-top: thin solid;
padding-top: 0.5ex;
margin-top: 2ex;
text-align: right;