135 |
document.styleSheets(0).addRule("body", "font-size: 130%"); |
document.styleSheets(0).addRule("body", "font-size: 130%"); |
136 |
document.styleSheets(0).addRule("div.navigation", "font-size: 80%"); |
document.styleSheets(0).addRule("div.navigation", "font-size: 80%"); |
137 |
document.styleSheets(0).addRule("div.update", "font-size: 80%"); |
document.styleSheets(0).addRule("div.update", "font-size: 80%"); |
138 |
document.styleSheets(0).addRule("#new", "font-size: 80%; line-height: 115%; margin: 0.12em; padding: 0"); |
document.styleSheets(0).addRule("#new", "font-size: 80%; line-height: 115%"); |
139 |
document.styleSheets(0).addRule("#new li", "margin: 0 0 0.12em 0; padding: 0"); |
//document.styleSheets(0).addRule("#new li", "margin: 0 0 0.12em 0; padding: 0"); |
140 |
</script> |
</script> |
141 |
|
|
142 |
</body></html> |
</body></html> |