@charset "UTF-8";

#view_source_switch
{
    margin-top: 0.2em;
    margin-bottom: 0.2em;
    display: inline-block;
    cursor: pointer;
    padding: 0.5em;
    float: right;
    font-size: 1.0em;
    font-style: italic;
    background-color: #006666;
}