body { font-size: 14px; line-height: 20px; color: #191933; font-family: Arial, Helvetica, sans-serif; } div.container { width: 950px; margin: 100px 0 50px 50px; } p, li { width: 625px; } a { color: #000055; } h1, h2, h3, h4, h5, h6 { margin-top: 40px; } br.clear { height: 0; clear: both; } ul { padding-left: 20px; } b.header { color: #000055; display: block; margin: 40px 0 5px 0; font-size: 16px; } li { margin-bottom: 10px; } table { margin: 16px 0 0 13px; padding: 0; width: 625px; } tr, td { margin: 0; padding: 0; } td { padding: 9px 15px 9px 0; } code, pre, tt, textarea { font-family: Monaco, Consolas, "Lucida Console", monospace; font-size: 12px; line-height: 18px; color: #191955; white-space: pre-wrap; word-wrap: break-word; } tt { background: #f8f8ff; border: 1px solid #dedede; font-size: 85%; padding: 0px 0.2em; } pre { border-left: 6px solid #222255; margin-left: 13px; padding: 3px 0 3px 12px; font-size: 12px; } pre.no_bar { border-left: 0; margin-left: 0; padding-left: 0; } div.code { position: relative; border: 1px solid #cacaca; background: #fafaff; padding: 7px 0 10px 0; -moz-border-radius: 5px; -webkit-border-radius: 5px; border-radius: 5px; -webkit-box-shadow: 0px 0px 7px #cacaca; } div.code button { position: absolute; right: 8px; bottom: 8px; } div.code pre, div.code textarea { float: left; width: 450px; background: #fafaff; border-left: 1px dotted #559; padding: 0 0 0 12px; margin: 0; } div.code pre:first-child { border-left: 0; } #fadeout { z-index: 50; position: fixed; left: 0; top: 0; right: 0; height: 100px; background: -webkit-gradient(linear, left top, left bottom, from(rgba(255, 255, 255, 255)), to(rgba(255, 255, 255, 0))); background: -moz-linear-gradient(top, rgba(255, 255, 255, 255), rgba(255, 255, 255, 0)); } #flybar { position: fixed; z-index: 100; height: 50px; min-width: 490px; left: 40px; right: 40px; top: 25px; background: #ddd; padding-left: 235px; background: -webkit-gradient(linear, left top, left bottom, from(#f5f5f5), to(#d0d0d0)); background: -moz-linear-gradient(top, #f5f5f5, #d0d0d0); filter: progid:DXImageTransform.Microsoft.Gradient(GradientType=0, StartColorStr='#F5F5F5', EndColorStr='#D0D0D0'); -webkit-border-radius: 20px; -moz-border-radius: 20px; border-radius: 20px; -webkit-box-shadow: 0 0 25px #777; -moz-box-shadow: 0 0 25px #777; } #logo { display: block; width: 215px; height: 50px; background: url('../images/logo.png'); position: absolute; top: 0px; left: 10px; } #error { position: absolute; -webkit-border-radius: 6px; -moz-border-radius: 6px; border-radius: 6px; right: 15px; top: 15px; left: 722px; height: 15px; padding: 2px 5px; background: #fdcdcc; color: #864544; border: 1px solid #864544; font: 10px/15px Arial; overflow: hidden; text-transform: uppercase; } .navigation { height: 50px; font: bold 11px/50px Arial; text-transform: uppercase; position: relative; float: left; padding: 0 20px; border: 1px solid #bbb; border-top: 0; border-bottom: 0; border-left-width: 0; cursor: pointer; } body.full_screen .navigation { position: static; } .navigation.toc { border-left-width: 1px; } .navigation:hover, .navigation.active { background: #d0d0d0; background: -webkit-gradient(linear, left top, left bottom, from(#f0f0f0), to(#c0c0c0)); background: -moz-linear-gradient(top, #f0f0f0, #c0c0c0); filter: progid:DXImageTransform.Microsoft.Gradient(GradientType=0, StartColorStr='#F0F0F0', EndColorStr='#C0C0C0'); } .navigation .contents { display: none; position: absolute; background: #fff; top: 50px; left: 0; padding: 5px 0; -webkit-border-radius: 5px; -moz-border-radius: 5px; border-radius: 5px; -webkit-border-top-left-radius: 0; -moz-border-radius-topleft: 0; -webkit-border-top-right-radius: 0; -moz-border-radius-topright: 0; -webkit-box-shadow: 0 0 25px #777; -moz-box-shadow: 0 0 25px #777; } .navigation.active .contents { display: block; } .navigation .contents.repl_wrapper { left: -162px; width: 700px; padding: 0; } body.full_screen .navigation .contents.repl_wrapper { position: fixed; width: auto; height: auto; left: 60px; top: 75px; right: 60px; bottom: 30px; } .navigation .contents.repl_wrapper .code { -webkit-box-shadow: none; -moz-box-shadow: none; background: transparent; border: 0; position: static; } body.full_screen .navigation .contents.repl_wrapper .code { height: 100%; padding: 0; margin: 0; } .navigation .code button { bottom: 10px; text-transform: none; } .navigation .full_screen, .navigation .minimize { right: auto; left: 10px; display: none; } body.minimized .full_screen, body.full_screen .minimize { display: inline; } .navigation .contents a { display: block; width: 290px; text-transform: none; text-decoration: none; font-weight: normal; height: 12px; line-height: 12px; padding: 4px 10px; } .navigation .contents a:hover { background: #f0f0f0; } .bookmark { display: block; width: 0; height: 0; position: relative; top: -90px; } #repl_source, #repl_results { background: transparent; outline: none; margin: 5px 0 20px; } #repl_source_wrap { margin-left: 5px; height: 250px; width: 307px; position: relative; float: left; } #repl_source { width: 96%; height: 100%; border: 0; resize: none; } #repl_results { font-family: Monaco, Consolas, "Lucida Console", monospace; text-transform: none; font-weight: normal; height: 260px; margin-bottom: 25px; overflow-y: auto; width: 370px; } body.full_screen #repl_results, body.full_screen #repl_source_wrap { width: auto; height: auto; position: absolute; margin-bottom: 0; top: 10px; left: 10px; right: 10px; bottom: 40px; } body.full_screen #repl_source_wrap { right: 50%; } body.full_screen #repl_results { left: 50%; }