1html { 2 background-color: #F8F8F8 ; 3} 4 5body { 6 background-color: #FFFFFF ; 7 color: #000000 ; 8 font-family: Helvetica, Arial, sans-serif ; 9 text-align: justify ; 10 line-height: 1.25 ; 11 margin: 16px auto ; 12 padding: 32px ; 13 border: solid #a0a0a0 1px ; 14 border-radius: 20px ; 15 max-width: 70em ; 16 width: 90% ; 17} 18 19h1, h2, h3, h4 { 20 color: #000080 ; 21 font-family: Verdana, Geneva, sans-serif ; 22 font-weight: normal ; 23 font-style: normal ; 24 text-align: left ; 25} 26 27h1 { 28 font-size: 28pt ; 29} 30 31h1 img { 32 vertical-align: text-bottom ; 33} 34 35h2:before { 36 content: "\2756" ; 37 padding-right: 0.5em ; 38} 39 40a { 41 text-decoration: none ; 42} 43 44a:link { 45 color: #000080 ; 46} 47 48a:link:hover, a:visited:hover { 49 background-color: #D0D0FF ; 50 color: #000080 ; 51 border-radius: 4px ; 52} 53 54a:link:active, a:visited:active { 55 color: #FF0000 ; 56} 57 58div.menubar { 59 padding-bottom: 0.5em ; 60} 61 62p.menubar { 63 margin-left: 2.5em ; 64} 65 66.menubar a:hover { 67 margin: -3px -3px -3px -3px ; 68 padding: 3px 3px 3px 3px ; 69 border-radius: 4px ; 70} 71 72:target { 73 background-color: #F0F0F0 ; 74 margin: -8px ; 75 padding: 8px ; 76 border-radius: 8px ; 77 outline: none ; 78} 79 80hr { 81 display: none ; 82} 83 84table hr { 85 background-color: #a0a0a0 ; 86 color: #a0a0a0 ; 87 border: 0 ; 88 height: 1px ; 89 display: block ; 90} 91 92.footer { 93 color: gray ; 94 font-size: x-small ; 95} 96 97input[type=text] { 98 border: solid #a0a0a0 2px ; 99 border-radius: 2em ; 100 background-image: url('images/search.png') ; 101 background-repeat: no-repeat ; 102 background-position: 4px center ; 103 padding-left: 20px ; 104 height: 2em ; 105} 106 107pre.session { 108 background-color: #F8F8F8 ; 109 padding: 1em ; 110 border-radius: 8px ; 111} 112 113td.gutter { 114 width: 4% ; 115} 116 117table.columns { 118 border: none ; 119 border-spacing: 0 ; 120 border-collapse: collapse ; 121} 122 123table.columns td { 124 vertical-align: top ; 125 padding: 0 ; 126 padding-bottom: 1em ; 127 text-align: justify ; 128 line-height: 1.25 ; 129} 130 131p.logos a:link:hover, p.logos a:visited:hover { 132 background-color: inherit ; 133} 134