1 /* Normal links */ 2 .normal_link a:link 3 { 4 color : yellow; 5 } 6 .normal_link a:visited 7 { 8 color : green; 9 } 10 11 /* Boxes */ 12 .pre 13 { 14 white-space: pre; /* CSS 2.0 */ 15 white-space: pre-wrap; /* CSS 2.1 */ 16 white-space: -pre-wrap; /* Opera 4-6 */ 17 white-space: -o-pre-wrap; /* Opera 7 */ 18 white-space: -moz-pre-wrap; /* Mozilla */ 19 white-space: -hp-pre-wrap; /* HP Printers */ 20 word-wrap : break-word; /* IE 5+ */ 21 } 22 23 .title_box 24 { 25 width : 470px; 26 height : 70px; 27 margin : 2px 50px 2px 2px; 28 padding : 10px; 29 border : 1px solid black; 30 background-color : #666666; 31 white-space : pre; 32 float : left; 33 text-align : center; 34 color : #C0C0C0; 35 font-size : 50pt; 36 font-style : italic; 37 } 38 39 .subindex_box 40 { 41 margin : 5px; 42 padding : 14px 22px; 43 border : 1px solid black; 44 background-color : #778877; 45 float : left; 46 text-align : center; 47 color : #115555; 48 font-size : 32pt; 49 } 50 51 .frame_box 52 { 53 margin : 10px; 54 padding : 10px; 55 border : 0px; 56 background-color : #084040; 57 text-align : left; 58 color : #C0C0C0; 59 font-family : monospace; 60 } 61
