a.external {
    background-image: url(images/external.png);
    background-repeat: no-repeat;
    background-position: center right;
    padding-right: 12px
}

div.step-one, div.step-two, div.step-three {
    background-repeat: no-repeat; background-position: center left; margin-top: 20px; 
    height:43px; vertical-align: middle; padding: 25px 0 0 50px }
div.step-one { background-image: url(images/1.gif) }
div.step-two { background-image: url(images/2.gif) }
div.step-three { background-image: url(images/3.gif) }


pre { margin-top: 10px }
pre { font-size: small; padding: 15px; background-color: #eee; border: 1px solid #ddd; border-left-width: 5px; overflow-x: auto; }
pre.normal { background-color: transparent; border: none; border-left-width: 0; overflow-x: auto; }
code { padding: 0; font-size: 108%; font-style: normal; }
code.method { font-size: 150%; display: block; margin-top: 20px }
code.inline { background-color: #ffc }