div.main {
    margin-right:0;
    padding:0 1em 0 1.75em;
}

div.floating-menu {
    width:1.1em;
    height:17.25em;
    top: 0px;
    visibility: visible!important;

    border-style: solid;
    background:#ffa;
    
    padding-bottom:1em;
    
    border-color:#A0A090;
    border-radius: 0 1em 1em 0;
    border-width:.2em .2em .2em 0;
    
    transition-property: width;
    transition-timing-function: linear, step-end;
    transition-duration: 0.3s;
    transition-delay: 0;
    -webkit-transition-property: width;
    -webkit-transition-timing-function: linear, step-end;
    -webkit-transition-duration: 0.3s;
    -webkit-transition-delay: 0;
    
     z-index:300;
     opacity: 0.95;
     overflow: visible;
    -webkit-overflow-scrolling: touch;
}

div.floating-menu table {
    margin-right:1em;
    width:11em;
}

#MathJaxMessage {
            transform: rotate(90deg) translateY(2em) translateX(-10.4em);
    -webkit-transform: rotate(90deg) translateY(2em) translateX(-10.4em);
        -ms-transform: rotate(90deg) translateY(2em) translateX(-10.4em);
          o-transform: rotate(90deg) translateY(2em) translateX(-10.4em);
}

div.floating-menu td {
    padding: 7px 7px 9px 7px;
}

div.floating-menu tr#navlinks td {
    padding-bottom: 5px;
}

div.floating-menu img#MobileLink {
    margin-left: 8%;
}

div.floating-menu img#DesktopLink {
    margin-right: 8%;
}

div.floating-menu a {
   font-size: 125%;
}

div.floating-menu #navlinks a {
    font-size: 175%;
}

div.floating-menu #mediumA {
   font-size: 175%;
}

div.floating-menu #bigA {
   font-size: 225%;
}