a.externalLink, a.externalLink:link, a.externalLink:visited, a.externalLink:active, a.externalLink:hover { | |
background: none; | |
padding-right: 0; | |
} | |
body ul { | |
list-style-type: square; | |
} | |
#downloadbox { | |
float: right; | |
margin: 0 1em 2em 2em; | |
padding: 1em; | |
border: 1px solid #999; | |
background-color: #eee; | |
} | |
#downloadbox h5 { | |
color: #000; | |
margin: 0; | |
border-bottom: 1px solid #aaaaaa; | |
font-size: smaller; | |
padding: 0; | |
} | |
#downloadbox p { | |
margin-top: 1em; | |
margin-bottom: 0; | |
} | |
#downloadbox ul { | |
margin-top: 0; | |
margin-bottom: 1em; | |
list-style-type: disc; | |
} | |
#downloadbox li { | |
font-size: smaller; | |
} | |