html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-size: 100%;
  font: inherit;
  vertical-align: baseline;
}
article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section { display: block; }
body { line-height: 1; }
ol, ul { list-style: none; }
blockquote, q { quotes: none; }
blockquote:before {
  content: '';
  content: none;
}
blockquote:after {
  content: '';
  content: none;
}
q:before {
  content: '';
  content: none;
}
q:after {
  content: '';
  content: none;
}
table {
  border-collapse: collapse;
  border-spacing: 0;
}
HTML, BODY { height: 100%; }
BODY > #container {
  height: auto;
  min-height: 100%;
  padding-bottom: 96px;
}
BODY {
  background: #f2f2f2 url(img/bg.png) repeat-y 0 0;
  color: #000000;
  font-family: Georgia, Palatino, 'Palatino Linotype', Times, 'Times New Roman', serif;
  line-height: 150%;
  margin: 0;
  padding: 0 16px 0;
}
H1, H2, H3 {
  font-family: Georgia, Palatino, 'Palatino Linotype', Times, 'Times New Roman', serif;
  font-weight: bold;
}
CODE, PRE {
  font-family: 'Lucida Console', 'Courier New', Courier, monospace;
  font-size: 90%;
}
CODE { color: #085a8c; }
BLOCKQUOTE {
  background: transparent url(img/dquote-l.png) no-repeat left top;
  font-style: italic;
  padding-left: 36px;
  quotes: "\201C" "\201D";
}
P, DL, PRE, BLOCKQUOTE { margin-bottom: 0.5em; }
ABBR, ACRONYM {
  border-bottom: 1px solid #d0d0d0;
  cursor: help;
}
ACRONYM { font-size: 80%; }
SUP {
  font-size: 50%;
  vertical-align: super;
}
SUB {
  font-size: 50%;
  vertical-align: sub;
}
DT { font-weight: normal; }
DFN {
  text-decoration: none;
  font-style: italic;
}
A:link { color: #085a8c; }
A:visited { color: #085a8c; }
A:active { color: #085a8c; }
A:hover { color: #085a8c; }
A.external:link {
  background: transparent url(img/small.png) no-repeat 100% 6px;
  padding-right: 14px;
}
A.external:visited {
  background: transparent url(img/small.png) no-repeat 100% -16px;
  padding-right: 14px;
}
A.external:active {
  background: transparent url(img/small.png) no-repeat 100% -16px;
  padding-right: 14px;
}
A.external:hover {
  background: transparent url(img/small.png) no-repeat 100% -16px;
  padding-right: 14px;
}
A.external SPAN { display: none; }
#pagetopshadow {
  background: transparent url(img/bg-top.png) repeat-x 0 0;
  height: 128px;
  left: 0;
  position: absolute;
  top: 0;
  width: 100%;
  z-index: -1;
}
#header { padding: 4px 0 4px 176px; }
#header H1 {
  background: transparent url(img/title.png) no-repeat;
  height: 96px;
  width: 768px;
}
#header H1 A {
  display: block;
  height: 96px;
  width: 768px;
}
#header H1 A SPAN { display: none; }
#tabs {
  height: 48px;
  width: 768px;
}
#tabs LI { list-style-type: none; }
#tabs LI A {
  background: transparent url(img/title.png) no-repeat 0 0;
  display: block;
  float: left;
  height: 48px;
}
#tabs LI A SPAN { display: none; }
#tabs #hometab A { width: 38px; }
#tabs #riscostab A { width: 243px; }
#tabs #armtab A { width: 243px; }
#tabs #pythontab A { width: 244px; }
#tabs #hometab A { background-position: 0 -96px; }
#tabs #riscostab A { background-position: -38px -96px; }
#tabs #armtab A { background-position: -281px -96px; }
#tabs #pythontab A { background-position: -524px -96px; }
#tabs #hometab A:hover { background-position: 0 -144px; }
#tabs #riscostab A:hover { background-position: -38px -144px; }
#tabs #armtab A:hover { background-position: -281px -144px; }
#tabs #pythontab A:hover { background-position: -524px -144px; }
#index #tabs #hometab A { background-position: 0 -192px; }
#riscos #tabs #riscostab A { background-position: -38px -192px; }
#arm #tabs #armtab A { background-position: -281px -192px; }
#python #tabs #pythontab A { background-position: -524px -192px; }
#index #tabs #hometab A:hover { background-position: 0 -240px; }
#riscos #tabs #riscostab A:hover { background-position: -38px -240px; }
#arm #tabs #armtab A:hover { background-position: -281px -240px; }
#python #tabs #pythontab A:hover { background-position: -524px -240px; }
#sidebar {
  border-bottom: 1px dotted #085a8c;
  border-top: 1px dotted #085a8c;
  float: left;
  padding-top: 0.5em;
  width: 160px;
}
#sidebar H1 { display: none; }
#sidebar H2 {
  font-weight: normal;
  line-height: 150%;
  padding-bottom: 0.5em;
  text-align: right;
}
#sidebar UL { padding-bottom: 1.5em; }
#sidebar UL:last-child { padding-bottom: 0.5em; }
#sidebar UL LI {
  background: transparent url(img/small.png) no-repeat right -296px;
  font-size: 80%;
  line-height: 150%;
  padding-right: 10px;
  text-align: right;
}
#sidebar UL LI.current { background: transparent url(img/small.png) no-repeat right -39px; }
#sidebar A:link { text-decoration: none; }
#sidebar A:visited { text-decoration: none; }
#sidebar A:active { text-decoration: none; }
#sidebar A:hover { text-decoration: underline; }
#flipper {
  clear: right;
  margin-left: 192px;
  max-width: 736px;
  margin-bottom: 2em;
}
#flipper H1 { display: none; }
#flipper UL { text-align: right; }
#flipper LI {
  display: inline-block;
  height: 62px;
  width: 41px;
}
#flipper LI A {
  display: block;
  height: 54px;
  width: 33px;
}
#flipper LI A SPAN { display: none; }
#flipper LI#prev A { background: transparent url(img/arrows.png) no-repeat 0px 0px; }
#flipper LI#prev A:hover { background-position: 0px -108px; }
#flipper LI#next A { background: transparent url(img/arrows.png) no-repeat 0px -54px; }
#flipper LI#next A:hover { background-position: 0px -162px; }
.clearfix:after {
  content: ".";
  display: block;
  height: 0;
  clear: right;
  visibility: hidden;
}
#content {
  margin-left: 192px;
  max-width: 736px;
  xpadding-bottom: 128px;
}
#content > .article { margin-bottom: 2em; }
#content > .slide { margin-bottom: 2em; }
#content > .examples { margin-bottom: 2em; }
#content > .commentary { margin-bottom: 2em; }
#content > .slide {
  background-color: #f8f8f8;
  border-radius: 10px;
  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;
  border: 1px solid #d0d0d0;
  padding: 16px;
  position: relative;
}
#content > .slide:after {
  -moz-box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  content: "";
  position: absolute;
  z-index: -1;
  bottom: 8px;
  height: 10%;
  left: 0.5%;
  width: 99%;
}
#content > .slide > .routine {
  -moz-box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
  box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
}
#content > .examples {
  background-color: #f8f8f8;
  border-radius: 10px;
  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;
  border: 1px solid #d0d0d0;
  padding: 16px;
  position: relative;
}
#content > .examples:after {
  -moz-box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  box-shadow: 0 10px 10px rgba(0, 0, 0, 0.25);
  content: "";
  position: absolute;
  z-index: -1;
  bottom: 8px;
  height: 10%;
  left: 0.5%;
  width: 99%;
}
#content > .examples > .routine {
  -moz-box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
  box-shadow: inset 5px 5px 5px rgba(0, 0, 0, 0.25);
}
#content > .examples > .before {
  padding-bottom: 69px;
  margin-bottom: 3px;
  background: transparent url(img/arr-down.png) no-repeat center bottom;
}
#content UL {
  margin-bottom: 0.5em;
  margin-left: 1em;
}
#content UL > LI {
  background: transparent url(img/small.png) no-repeat left -163px;
  padding-left: 1em;
}
#content UL UL { margin-bottom: 0; }
#content UL UL > LI {
  background: transparent url(img/small.png) no-repeat left -419px;
  padding-left: 1em;
}
#content OL {
  margin-bottom: 0.5em;
  margin-left: 2em;
}
#content DL {
  margin-bottom: 0.5em;
  margin-left: 1em;
}
#content DT {
  background: transparent url(img/small.png) no-repeat left -163px;
  padding-left: 1em;
}
#content DD {
  background: transparent url(img/small.png) no-repeat left -419px;
  padding-left: 1em;
  margin-left: 1em;
}
#content DD + DT { margin-top: 0.25em; }
#content .columns {
  display: table-cell;
  margin-bottom: 0.5em;
  margin-left: 1em;
}
#content .columns > DT {
  background: transparent url(img/small.png) no-repeat left -163px;
  clear: left;
  float: left;
  margin-left: 1em;
  width: 5em;
}
#content .columns > DD { float: left; }
#content .books > DD + DD + DD + DD { clear: right; }
#content .books > DD > IMG {
  -moz-box-shadow: 0 3px 5px rgba(0, 0, 0, 0.25);
  -webkit-box-shadow: 0 3px 5px rgba(0, 0, 0, 0.25);
  box-shadow: 0 3px 5px rgba(0, 0, 0, 0.25);
  float: right;
  margin-bottom: 1em;
}
#content #downloadbox {
  background: transparent url(img/downloadbg.png) repeat-y 50% 0%;
  border: 1px solid #d0d0d0;
  float: right;
  margin: 0 0 0 0.5em;
  padding: 0.5em 0;
  width: 256px;
}
#content #downloadbox H2 {
  background: transparent url(img/downloads.png) no-repeat 50% 0%;
  height: 47px;
  text-indent: -9999px;
  width: 256px;
}
#content > #date {
  font-size: smaller;
  font-style: italic;
  padding-bottom: 0.75em;
  margin-bottom: 0.75em;
  text-align: right;
}
#content > H1 {
  padding-top: 0.75em;
  margin-bottom: 0.75em;
  padding-bottom: 0.75em;
}
#content > H2 {
  padding-top: 0.75em;
  margin-bottom: 0.75em;
  padding-bottom: 0.75em;
}
#content > H3 {
  padding-top: 0.75em;
  margin-bottom: 0.75em;
  padding-bottom: 0.75em;
}
#content > H1 {
  border-bottom: 1px dotted #5a91b2;
  color: #5a91b2;
  font-size: 200%;
}
#content > H1 > A {
  color: #5a91b2;
  text-decoration: none;
}
#content > H1 > A:hover { text-decoration: underline; }
#content > H2 {
  border-bottom: 1px dotted #085a8c;
  color: #085a8c;
  font-size: 150%;
}
#content > H3 {
  border-bottom: 1px dotted #085a8c;
  color: #085a8c;
  font-size: 125%;
}
#footer {
  background: transparent url(img/footer.png) no-repeat left bottom;
  clear: both;
  color: #085a8c;
  font-size: 80%;
  height: 96px;
  line-height: 150%;
  margin-left: 144px;
  margin-top: -96px;
  padding-top: 2em;
  position: relative;
  text-align: center;
  width: 816px;
  z-index: 10;
}
#footer UL {
  display: block;
  margin: 0;
  padding: 0;
}
#footer UL > LI {
  background: none;
  display: inline;
  margin: 0;
  padding: 0 0.5em 0 0;
}
#footer UL > LI + LI {
  border-left: 1px solid #adc8d9;
  padding: 0 0 0 0.5em;
}
#footer #w3c {
  padding-bottom: 1em;
  padding-top: 1em;
}
#footer #w3c > P {
  margin-bottom: 0;
  padding: 1px 0 0 0;
  text-align: center;
}
.format {
  font-size: 150%;
  padding: 0.5em;
  text-align: center;
  white-space: nowrap;
}
.format > CODE {
  background-color: #eaf1f5;
  border: 1px solid #bdc1d7;
  padding: 0.5em;
}
.diagram IMG {
  display: block;
  margin-left: auto;
  margin-right: auto;
  padding: 0.5em;
}
.diagram A IMG { border: none; }
.captionedimage {
  width: 544px;
  margin-left: auto;
  margin-right: auto;
  margin-bottom: 1em;
}
.captionedimage IMG {
  display: block;
  margin-left: auto;
  margin-right: auto;
}
.captionedimage .caption {
  font-size: smaller;
  font-style: italic;
  line-height: 150%;
  text-align: center;
}
.slide TABLE TH {
  padding: 0 0.5em;
  line-height: 150%;
}
.slide TABLE TD {
  padding: 0 0.5em;
  line-height: 150%;
}
.slide TABLE TH {
  border-bottom: 1px solid #adc8d9;
  text-align: center;
}
.slide TABLE TD { border-bottom: 1px solid #eaf1f5; }
.slide #barrelshifts {
  border-spacing: 0;
  margin: 0 auto;
}
.slide #barrelshifts TD {
  padding: 1em;
  text-align: center;
}
.slide #barrelshifts TD IMG { padding: 1em; }
.slide #cores {
  border-spacing: 0;
  margin: 0 auto 0.5em auto;
}
.slide #cores TH {
  font-size: 95%;
  line-height: 180%;
}
.slide #cores TD {
  font-size: 95%;
  line-height: 180%;
}
.slide #cores TD { white-space: nowrap; }
.slide #cores TD.wrap {
  white-space: normal;
  line-height: 150%;
}
.routine {
  background-color: #333333;
  color: #ffffff;
  line-height: 110%;
  padding: 1em;
}
.routine .Comment { color: #87ceeb; }
.routine .Constant { color: #ffa0a0; }
.routine .PreProc { color: #cd5c5c; }
.routine .Special { color: #ffdead; }
.routine .Statement {
  color: #f0e68c;
  font-weight: bold;
}
.routine .Type {
  color: #bdb76b;
  font-weight: bold;
}
.routine .alert { color: red; }
.routine .basen { color: #ffa0a0; }
.routine .bstring { color: red; }
.routine .char { color: #ffdead; }
.routine .comment { color: #87ceeb; }
.routine .datatype { color: #bdb76b; }
.routine .decval { color: #ffa0a0; }
.routine .error { color: red; }
.routine .float { color: #ffa0a0; }
.routine .function { color: red; }
.routine .istring { color: red; }
.routine .keyword { color: #f0e68c; }
.routine .operator { color: red; }
.routine .others { color: #cd5c5c; }
.routine .regionmarker { color: red; }
.routine .reserved { color: red; }
.routine .string { color: #ffa0a0; }
.routine .variable { color: red; }
.routine .warning { color: red; }
.console {
  background-color: #333333;
  color: #ffffff;
  line-height: 110%;
  padding: 0.5em;
}
.console KBD { color: #87ceeb; }