/****************** * Content markup * ******************/ /* headings ======== */ h1 { font-size: 1.7em; font-weight: bold; line-height: 32px; color: #999999; } h2 { font-size: 1.3em; font-weight: normal; line-height: 24px; color: #990000; padding-top: 1em; padding-left: 0em; padding-right: 0.2em; border-bottom: 1px solid #999999; background-color: transparent; } h3 { font-size: 1.0em; font-weight: bold; padding-top: 1em; padding-left: 0em; padding-right: 0.2em; } h4 { color: #999999; font-size: 1.0em; font-weight: bold; padding-top: 0.5em; padding-left: 0em; padding-right: 0.2em; } h5, h6 { font-weight: bold; background-color: transparent; } /* paragraph elements ================== */ p { text-align: justify; } p.author { text-align: right; } pre { font-family: courier,fixed; font-size: 0.8em; font-style: normal; } .rightaligned { text-align: right; } .lecturetitle { font-weight: bold; } dl { padding: 1em 0 1em 0; border-top: 1px dashed gray; } dt { font-weight: bold; margin: 0.5em 0 0.5em 0; } table.body { padding-left: 4px; } /**************** * Image markup * ****************/ img.bodycontent { width: 550px; border: 0; } img.inlineleft { width: 150px; float: left; margin: 0 2.5em 2.2em 0; } img.inlineright { width: 150px; float: right; margin: 0 0 2.2em 2.5em; } img.wideinlineright { width: 300px; float: right; margin: 0 0 2.2em 2.5em; } a img { border: 0px; } /***************** * List elements * *****************/ /* course program elements ======================= */ li { list-style-position: outside; } ul.widelist li { padding-top: 6px; padding-bottom: 6px; } /****************** * Other elements * ******************/ #hotellist { margin-left: 20px; } #hotellist h3 { margin-left: -20px; } #hotellist h4 { margin-left: -20px; } #newslist li { line-height: 2em; } .rightfloat { float: right; } /****************** * Program * ******************/ table.program { width: 100%; } td.time { width: 20%; text-align: left; padding-top:6px; } td.action { padding-top:6px; } td.talk { } td.place { width: 25%; text-align: right; font-style: italic; }