html{height:100%}body{margin:0;padding:0;font-family:sans-serif;font-size:13px;min-height:100vh;display:flex;flex-direction:column}#body{flex-grow:1}a img{padding:0;margin:0;border:0}a:hover{background-color:#ffb}a{color:#c4451d;text-decoration:none}#links{background:none repeat scroll 0 0 #293845;border-top:5px solid #4e6272;color:#ddd;text-align:right;padding:.2em}#top-menu{display:inline-table;list-style:none outside none;margin:0 0 0 1em;text-align:left}#top-menu li{border-left:1px solid #d5d5d5;display:inline;padding:0;white-space:nowrap}#top-menu li a,#top-menu li a:link,#top-menu li a:visited{font-size:85%;color:#fff;text-decoration:none;padding:.2em .5em}#top-menu li a:hover{background-color:#4e6272;text-decoration:underline}form{margin-bottom:0}#logo img{vertical-align:bottom}#hoogle,#scope,#scope_chosen,#submit{font-size:16px;margin-bottom:16px;vertical-align:bottom}#scope_chosen,#scope{width:200px}#scope_chosen .chosen-drop{width:400px}.chosen-container .chosen-results li em{font-weight:700;text-decoration:none!important}#hoogle{width:300px;margin-right:5px;margin-left:5px}#submit{padding-left:15px;padding-right:15px}#left{float:left;width:140px;margin:0;padding:0;margin-left:10px;overflow:hidden}#left li{list-style-type:none;margin-bottom:7px;white-space:nowrap;display:block}#left a{color:#c4451d;text-decoration:none;background-repeat:no-repeat}#left .plus{padding-right:16px;background-image:url(more_small.png);background-position:center right;color:#0e774a}#left .pad{padding-left:16px}#left .minus{color:#770e00;padding-left:16px;background-image:url(less_small.png);background-position:center left}#footer{background:none repeat scroll 0 0 #ddd;border-top:1px solid #aaa;color:#666;width:100%;padding:1.3em 0;text-align:center}h1{padding:5px;margin-top:0;margin-bottom:0;padding-bottom:0;font-weight:700;padding-left:170px;font-size:16px}p{margin-left:170px;margin-right:20px;font-size:16px}.error{border-bottom:2px solid red;text-decoration:none;white-space:pre}#example{margin:auto;margin-top:20px;margin-bottom:20px;padding:3px;width:400px;border:2px solid #cc0;color:#000;background-color:#f5f5f5;border:1px solid #e5e5e5;text-align:left}#example a{margin-left:20px}.result{margin-left:170px;margin-right:20px;margin-top:1.5em}.result.active{background-color:#f7f5c0}.from,.doc{margin-top:.4em}a.dull,a.dull:hover{text-decoration:none}.ans i{font-weight:700;font-style:normal}.ans{background:none repeat scroll 0 0 #f0f0f0;border-top:1px solid #ccc;font-size:16px;padding:.2em .5em}.ans a{color:#000}.ans .name{color:#c4451d}.links{float:right;color:#ccc}.links a{color:#888;font-size:12px}.c0{background-color:#fcc}.c1{background-color:#cfc}.c2{background-color:#ccf}.c3{background-color:#ffc}.c4{background-color:#fcf}.c5{background-color:#cff}.more,.more:visited{padding-left:16px;background-image:url(more_blue.png);background-repeat:no-repeat;background-position:center left;color:blue}.from a,.p1,.p2{white-space:nowrap;text-decoration:none;color:#0e774a}.doc{font-size:11px;background-repeat:no-repeat;background-position:2px left;margin-bottom:1em}.doc,.doc a{color:#888}.doc h1,.doc h2,.doc h3,.doc h4,.doc h5,.doc h6{font-size:11px;display:inline;padding:0}.open,.shut{padding-left:13px}.open{background-image:url(less_gray.png)}.shut{background-image:url(more_gray.png)}.doc,.shut{max-height:2em;overflow:hidden}.open{max-height:100%;white-space:pre-wrap}.phone #links{float:none;margin-left:5px}.phone #search{text-align:center}.phone #submit{display:none}.phone #left{display:none}.phone h1{padding-left:5px}.phone p{margin-left:5px}.phone #example{width:auto}.phone #footer{font-size:small}.phone .result{margin-left:5px;margin-right:5px}