body {
    width: 920px;
    margin: 0 auto 0;
    padding: 0;
    font-size: 80%;
    font-family: 'Open Sans', serif;
}

a {
    color: #0057ef;
}

input {
    font-family: 'Open Sans', serif;
}

button {
    font-family: 'Open Sans', serif;
}

a:visited {
    color: #5D00ef;
}

#left {
    float: left;
}

#right {
    float: right;
}

#clear {
    clear: both;
}

#authenticated {
    text-align: right;
    border: 3px double #cccccc;
    padding: 3px;
    color: #888888;
    margin-top: 3px;
}

#user {
    float: left;
    margin-left: 50px;
}

.locked {
    background: #fafafa url('images/locked.png') no-repeat scroll 3px 3px;
}

.unlocked {
    background: #fafafa url('images/unlocked.png') no-repeat scroll 3px 3px;
}

#authenticated a {
    color: #888888;
}

#header {
    margin: 25px 0 0 0;
    width: 100%;
}

#header #logo {
    float: left;
    width: 250px;
    height: 51px;
    background: transparent url('images/logo.png') no-repeat 0 0;
    background-size: 245px 51px;
    cursor: pointer;
}

#header #menu {
    word-spacing: 0.5em;
    text-align: left;
}

#header .badge {
    display: none;
    position: relative;
    top: -15px;
    margin: 0 -5px 0 -15px;
    padding: 0px 2px;
    color: transparent;
    font-size: 0.75em;
    border: 1px solid transparent;
    border-radius: 4px;
    -moz-border-radius: 4px;
    -webkit-border-radius: 4px;
}

#header .active {
    border-color: #bbbbbb;
    color: inherit;
}

#header #theoretical {
    float: left;
    height: 24px;
    width: 23px;
    margin: 22px 10px 0 32px;
    background: transparent url('images/theoretical.png') no-repeat 0 0;
}

#header #experimental {
    float: left;
    height: 24px;
    width: 23px;
    margin: 22px 10px 0 32px;
    background: transparent url('images/experimental.png') no-repeat 0 0;
}

#header #search #query {
    float: left;
    width: 520px;
    height: 18px;
    border: solid 1px #dddddd;
    margin: 2px 0;
    padding: 2px;
    font-size: 1em;
    -webkit-appearance: none;
    -moz-appearance: none;
    -webkit-border-radius: 0;
    -moz-border-radius: 0;
}

#header #search #submit {
    float: right;
    width: 70px;
    height: 24px;
    border: solid 1px #dddddd;
    margin: 2px 0;
    padding: 2px;
    background: #f4f4f4;
    color: #ed1f24;
    font-size: 0.9em;
    cursor: pointer;
    -moz-appearance: none;
    -webkit-appearance: none;
    -webkit-border-radius: 0;
    -moz-border-radius: 0;
}

#header #block {
    width: 524px;
    margin: 2px 0 0 0;
    font-size: 85%;
    padding-left: 315px;
}

#header #block #example {
    float: left;
    width: 50%;
    font-style: italic;
    color: #888888;
}

#header #block #advanced {
    float: right;
    display: inline-block;
    width: 50%;
    text-align: right;
}

#header #search #database {
    margin: 0 0 15px 0;
    text-align:center;
}

#header #search #database a {
    text-decoration: none;
}

#header #links {
    margin: 20px 0 0 0;
    text-align:center;
}

#current {
    font-size: small;
    padding: 2px 4px;
    border: 1px solid #ff9a00;
    background-color: #ffdc9d;
    font-weight: bold;
    margin: 10px 0 10px 0;
}

#triangle {
    display: inline-block;
    height: 15px;
    width: 18px;
    background: url('images/warning_small.png') no-repeat;
    margin-bottom: 5px;
    cursor: pointer;
}

#warnings {
    min-height: 30px;
    border: 1px solid #ef868a;
    background: #ffeff0 url('images/warning.png') no-repeat scroll 10px 5px;
    padding: 12px 0 0 60px;
    margin: 15px 0 15px 0;
    cursor: pointer;
}

#warnings .warning {
    display: none;
    margin: 15px 0 15px 0;
}

#lightbulb {
    display: inline-block;
    height: 15px;
    width: 10px;
    background: url('images/bulb_small.png') no-repeat;
    margin-bottom: 5px;
    cursor: pointer;
}

#hints {
    min-height: 30px;
    border: 1px solid #eeef86;
    background: #fffcdf url('images/bulb.png') no-repeat scroll 18px 5px;
    padding: 12px 0 0 60px;
    margin: 0;
    cursor: pointer;
}

#cross {
    display: inline-block;
    position: relative;
    bottom: 10px;
    left: 840px;
    height: 16px;
    width: 16px;
    background: transparent url('images/cross.png') no-repeat;
    cursor: pointer;
    z-index: 1;
}

#hints .hint {
    display: none;
    margin: 15px 0 5px 0;
    text-decoration: none;
}

#hints #title {
    font-weight: bold;
}

#notes {
    padding: 2px 4px;
    border: 1px solid #86a2ef;
    background-color: #dfe8ff;
    text-align: right;
    font-weight: bold;
    margin-top: 10px;
}

#summary {
    text-align: center;
    margin: 25px 0 0 0;
    font-size: 85%;
    font-style: italic;
    color: #888888;
    line-height: 1.5;
}

#footer {
    text-align: center;
    margin: 25px 0 0 0;
    font-size: 85%;
    color: #888888;
}

#cite {
    margin: 25px;
    font-size: 85%;
    text-align: center;
}

#cite hr {
    margin: auto;
    width: 50%;
    height: 1px;
    border: 0;
    border-top: 1px solid #ccc;
}

#cite li {
    padding: 0.5em;
}

#citation {
    width: 50%;
    text-align: left;
    margin: auto;
}

#social {
    margin: 45px 0;
    text-align: right;
}

#social #email {
    vertical-align: top;
    border-style: none;
    width: 21px;
    height: 21px;
    margin: 0 0 0 0;
    background: transparent url('images/email.png') no-repeat scroll 0px 0px;
    background-size: 21px 21px;
    overflow: hidden;
    text-indent: -9000px;
    cursor: pointer;
}

#social #facebook {
    vertical-align: top;
    border-style: none;
    width: 21px;
    height: 21px;
    margin: 0 0 0 0;
    background: transparent url('images/facebook.png') no-repeat scroll 0px 0px;
    background-size: 21px 21px;
    overflow: hidden;
    text-indent: -9000px;
    cursor: pointer;
}

#social #twitter {
    vertical-align: top;
    border-style: none;
    width: 21px;
    height: 21px;
    margin-bottom: 0;
    background: transparent url('images/twitter.png') no-repeat scroll 0px 0px;
    background-size: 21px 21px;
    overflow: hidden;
    text-indent: -9000px;
    cursor: pointer;
}

#social #tweet {
    font-style: italic;
    font-size: 0.75em;
    color: #555555;
    vertical-align: middle;
    display: none;
    margin: 0 4px 0 0;
}

#social #youtube {
    vertical-align: top;
    border-style: none;
    width: 30px;
    height: 21px;
    margin-bottom: 0;
    background: transparent url('images/youtube.png') no-repeat scroll 0px 0px;
    background-size: 30px 21px;
    overflow: hidden;
    text-indent: -9000px;
    cursor: pointer;
}

@media (min-resolution: 2dppx), (min-resolution: 144dpi), (-webkit-min-device-pixel-ratio: 2), (-o-min-device-pixel-ratio: 2/1) {

    #header #theoretical {
	background: transparent url('images/theoretical@2x.png') no-repeat 0 0;
	background-size: 23px 24px;
    }

    #header #experimental {
	background: transparent url('images/experimental@2x.png') no-repeat 0 0;
	background-size: 23px 24px;
    }

    #triangle {
	background: url('images/warning_small.png') no-repeat;
    }

    #warnings {
	background: #ffeff0 url('images/warning.png') no-repeat scroll 10px 5px;
    }

    #lightbulb {
	background: url('images/bulb_small.png') no-repeat;
    }

    #hints {
	background: #fffcdf url('images/bulb.png') no-repeat scroll 18px 5px;
    }

    #cross {
	background: transparent url('images/cross.png') no-repeat;
    }

    #header #logo {
	background: transparent url('images/logo@2x.png') no-repeat 0 0;
	background-size: 250px 51px;
    }

    #social #email {
	background: transparent url('images/email@2x.png') no-repeat scroll 0px 0px;
	background-size: 21px 21px;
    }

    #social #facebook {
	background: transparent url('images/facebook@2x.png') no-repeat scroll 0px 0px;
	background-size: 21px 21px;
    }

    #social #twitter{
	background: transparent url('images/twitter@2x.png') no-repeat scroll 0px 0px;
	background-size: 21px 21px;
    }

    #social #youtube{
	background: transparent url('images/youtube@2x.png') no-repeat scroll 0px 0px;
	background-size: 30px 21px;
    }
}