1*4dc78e53SAndroid Build Coastguard Worker/* Workarounds for IE6's broken and incomplete CSS2. */ 2*4dc78e53SAndroid Build Coastguard Worker 3*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar-content { 4*4dc78e53SAndroid Build Coastguard Worker background: #ffffee; 5*4dc78e53SAndroid Build Coastguard Worker border: 1px solid silver; 6*4dc78e53SAndroid Build Coastguard Worker padding: 0.5em; 7*4dc78e53SAndroid Build Coastguard Worker} 8*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar-title, div.image-title { 9*4dc78e53SAndroid Build Coastguard Worker color: #527bbd; 10*4dc78e53SAndroid Build Coastguard Worker font-family: sans-serif; 11*4dc78e53SAndroid Build Coastguard Worker font-weight: bold; 12*4dc78e53SAndroid Build Coastguard Worker margin-top: 0.0em; 13*4dc78e53SAndroid Build Coastguard Worker margin-bottom: 0.5em; 14*4dc78e53SAndroid Build Coastguard Worker} 15*4dc78e53SAndroid Build Coastguard Worker 16*4dc78e53SAndroid Build Coastguard Workerdiv.listingblock div.content { 17*4dc78e53SAndroid Build Coastguard Worker border: 1px solid silver; 18*4dc78e53SAndroid Build Coastguard Worker background: #f4f4f4; 19*4dc78e53SAndroid Build Coastguard Worker padding: 0.5em; 20*4dc78e53SAndroid Build Coastguard Worker} 21*4dc78e53SAndroid Build Coastguard Worker 22*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock-attribution { 23*4dc78e53SAndroid Build Coastguard Worker padding-top: 0.5em; 24*4dc78e53SAndroid Build Coastguard Worker text-align: right; 25*4dc78e53SAndroid Build Coastguard Worker} 26*4dc78e53SAndroid Build Coastguard Worker 27*4dc78e53SAndroid Build Coastguard Workerpre.verseblock-content { 28*4dc78e53SAndroid Build Coastguard Worker font-family: inherit; 29*4dc78e53SAndroid Build Coastguard Worker} 30*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock-attribution { 31*4dc78e53SAndroid Build Coastguard Worker padding-top: 0.75em; 32*4dc78e53SAndroid Build Coastguard Worker text-align: left; 33*4dc78e53SAndroid Build Coastguard Worker} 34*4dc78e53SAndroid Build Coastguard Worker 35*4dc78e53SAndroid Build Coastguard Workerdiv.exampleblock-content { 36*4dc78e53SAndroid Build Coastguard Worker border-left: 3px solid #dddddd; 37*4dc78e53SAndroid Build Coastguard Worker padding-left: 0.5em; 38*4dc78e53SAndroid Build Coastguard Worker} 39*4dc78e53SAndroid Build Coastguard Worker 40*4dc78e53SAndroid Build Coastguard Workerdiv.imageblock.latex div.image-title { margin-top: 0.5em; } 41*4dc78e53SAndroid Build Coastguard Worker 42*4dc78e53SAndroid Build Coastguard Worker/* IE6 sets dynamically generated links as visited. */ 43*4dc78e53SAndroid Build Coastguard Workerdiv#toc a:visited { color: blue; } 44