.version-picker{padding-left:10px}.version-picker a{text-decoration:none;color:#aaa;padding:0px 5px 5px 10px;font-size:18px}.version-picker a:hover{color:#153c63}#selected{color:#153c63}#version-text{font-size:15px;margin:10px 0px 0px 10px}.menu-only{display:none}.menu .menu-only{display:inline}.figure{padding-left:80px}