/* @license * * The fonts listed in this notice are subject to the End User License * Agreement(s) entered into by the website owner. All other parties are * explicitly restricted from using the Licensed Webfonts(s). * * You may obtain a valid license at the URLs below. * * Webfont: Everson Mono Bold by Evertype * URL: http://evertype.com/emono/ * Licensed pageviews: unspecified * * Webfont: Everson Mono Bold Oblique by Evertype * URL: http://evertype.com/emono/ * Licensed pageviews: unspecified * * Webfont: Everson Mono Oblique by Evertype * URL: http://evertype.com/emono/ * Licensed pageviews: unspecified * * Webfont: Everson Mono Regular by Evertype * URL: http://evertype.com/emono/emono/ * Licensed pageviews: 10,000 * * License: http://evertype.com/emono/licence.html * Webfonts copyright: Copyright (c) 1993-2012 by Michael Everson. All rights reserved. Published by Evertype. * * © 2012 Bitstream Inc */ @font-face {font-family: 'EversonMono-Bold';src: url('../webfonts/EversonMonoBold.eot');src: url('../webfonts/EversonMonoBold.eot?#iefix') format('embedded-opentype'),url('../webfonts/EversonMonoBold.woff') format('woff'),url('../webfonts/EversonMonoBold.ttf') format('truetype');} @font-face {font-family: 'EversonMono-BoldOblique';src: url('../webfonts/EversonMonoBoldOblique.eot');src: url('../webfonts/EversonMonoBoldOblique.eot?#iefix') format('embedded-opentype'),url('../webfonts/EversonMonoBoldOblique.woff') format('woff'),url('../webfonts/EversonMonoBoldOblique.ttf') format('truetype');} @font-face {font-family: 'EversonMono-Oblique';src: url('../webfonts/EversonMonoOblique.eot');src: url('../webfonts/EversonMonoOblique.eot?#iefix') format('embedded-opentype'),url('../webfonts/EversonMonoOblique.woff') format('woff'),url('../webfonts/EversonMonoOblique.ttf') format('truetype');} @font-face {font-family: 'EversonMono';src: url('../webfonts/EversonMono.eot');src: url('../webfonts/EversonMono.eot?#iefix') format('embedded-opentype'),url('../webfonts/EversonMono.woff') format('woff'),url('../webfonts/EversonMono.ttf') format('truetype');} .EversonMono { font-family: EversonMono; font-weight: normal; font-style: normal; } .EversonMono-Oblique { font-family: EversonMono; font-weight: normal; font-style: italic; } .EversonMono-Bold { font-family: EversonMono; font-weight: bold; font-style: normal; } .EversonMono-BoldOblique { font-family: EversonMono; font-weight: bold; font-style: italic; } BODY { margin: 0; COLOR: #000000; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #FFFFFF } P { COLOR: #000000; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #FFFFFF } TD { COLOR: #000000; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #FFFFFF } LI { COLOR: #000000; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #FFFFFF } I { COLOR: #000000; FONT-FAMILY: EversonMono-Oblique; BACKGROUND-COLOR: #FFFFFF } B { COLOR: #000000; FONT-FAMILY: EversonMono-Bold; BACKGROUND-COLOR: #FFFFFF } A:link { COLOR: #bb0000 } A:visited { COLOR: #000066 } A:active { COLOR: #000066 } A:hover { COLOR: #000066 } H1 { FONT-WEIGHT: bold } H2 { FONT-WEIGHT: bold } H3 { FONT-WEIGHT: bold } H1 { MARGIN-TOP: 12px; FONT-SIZE: 180%; FONT-FAMILY: EversonMono; TEXT-ALIGN: center } H2 { MARGIN-TOP: 2em; FONT-SIZE: 120%; FONT-STYLE: italic; LINE-HEIGHT: 100%; FONT-FAMILY: EversonMono } H3 { MARGIN-TOP: 2em; FONT-SIZE: 105%; FONT-FAMILY: EversonMono } TD.bar { PADDING-RIGHT: 4px; PADDING-LEFT: 4px; FONT-WEIGHT: bold; FONT-SIZE: 100%; PADDING-BOTTOM: 4px; COLOR: #FFFFFF; PADDING-TOP: 4px; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #000066; TEXT-ALIGN: right } P.bar { PADDING-RIGHT: 4px; PADDING-LEFT: 4px; FONT-WEIGHT: bold; FONT-SIZE: 100%; PADDING-BOTTOM: 4px; COLOR: #000066; PADDING-TOP: 4px; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #000066; TEXT-ALIGN: right } TD.icon { PADDING-RIGHT: 2px; PADDING-LEFT: 2px; FONT-WEIGHT: bold; FONT-SIZE: 140%; PADDING-BOTTOM: 2px; COLOR: #FFFFFF; PADDING-TOP: 4px; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #000066; TEXT-ALIGN: left } TD.gray { PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-SIZE: 6pt; PADDING-BOTTOM: 0px; COLOR: #FFFFFE; PADDING-TOP: 0px; BACKGROUND-COLOR: #999999 } A.bar { FONT-SIZE: 100% } A.bar:link { FONT-SIZE: 75%; COLOR: #993300 } A.bar:visited { FONT-SIZE: 75%; COLOR: #993300 } A.bar:active { FONT-SIZE: 75%; COLOR: #000066 } A.bar:hover { FONT-SIZE: 75%; COLOR: #000066 } TD.navCol { PADDING-RIGHT: 4px; PADDING-LEFT: 4px; PADDING-BOTTOM: 4px; COLOR: #330000; PADDING-TOP: 4px; BACKGROUND-COLOR: #f0e0c0 } TABLE.navColTable { COLOR: #330000; BACKGROUND-COLOR: #f0e0c0 } TD.navColTitle { PADDING-RIGHT: 4px; PADDING-LEFT: 4px; FONT-WEIGHT: bold; FONT-SIZE: 80%; PADDING-BOTTOM: 4px; COLOR: #FFFFFF; PADDING-TOP: 4px; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #000000; TEXT-ALIGN: center } TD.navColCell { FONT-SIZE: 70%; BACKGROUND-COLOR: #f0e0c0 } TD.currentPage { FONT-WEIGHT: bold; FONT-SIZE: 70%; FONT-STYLE: italic; BACKGROUND-COLOR: #f0e0c0 } TD.contents { } TABLE.sidebar { PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FLOAT: right; PADDING-BOTTOM: 0px; MARGIN: 4px; WIDTH: 40%; COLOR: #000000; PADDING-TOP: 0px; BACKGROUND-COLOR: #000000 } TD.sidebarTitle { PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-WEIGHT: bold; FONT-SIZE: 80%; PADDING-BOTTOM: 0px; COLOR: #FFFFFF; PADDING-TOP: 0px; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #000000 } TD.sidebar { PADDING-RIGHT: 2px; PADDING-LEFT: 2px; FONT-SIZE: 70%; PADDING-BOTTOM: 2px; COLOR: #000000; PADDING-TOP: 2px; BACKGROUND-COLOR: #000000 } P.q { FONT-WEIGHT: bold; FONT-STYLE: normal; FONT-FAMILY: EversonMono } P.a { MARGIN-LEFT: 16px; MARGIN-RIGHT: 16px; FONT-FAMILY: EversonMono } P.source { FONT-SIZE: 75%; MARGIN-RIGHT: 16px; FONT-FAMILY: EversonMono; TEXT-ALIGN: right } UNKNOWN { COLOR: #ffffee } TABLE.light { COLOR: #330000; BACKGROUND-COLOR: #ffffee } TD.dark { FONT-SIZE: 24pt; COLOR: #ffffee; FONT-FAMILY: EversonMono; BACKGROUND-COLOR: #aa0000 } H1 { FONT-SIZE: 18pt; MARGIN: 2px 0px; LINE-HEIGHT: 100%; FONT-FAMILY: EversonMono-Bold; COLOR: #000066; TEXT-ALIGN: center } H2 { FONT-SIZE: 15pt; MARGIN: 2px 0px; LINE-HEIGHT: 100%; FONT-FAMILY: EversonMono-Oblique; COLOR: #000066; TEXT-ALIGN: left } H3 { FONT-SIZE: 14pt; MARGIN: 2px 0px; LINE-HEIGHT: 100%; FONT-FAMILY: EversonMono-Oblique; COLOR: #000066; TEXT-ALIGN: left }