.popover-wrappedcontent
{
    display:none;
}

.bottom-info {
    position: fixed;
    bottom: 0px;
    right: 0px;
    font-family:monospace;
    background-color:#EEEEEE;
    border: 1px solid #DDDDDD;
    border-radius: 3px;
    font-size:x-small;
}

.padding-0{
	padding-right:0;
	padding-left:0;
}

.inst-textarea{
	
}

.text-box {
    border: 1px solid #DDDDDD;
    overflow-y: scroll;
    /* padding: 4px; */
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;
    font-family:monospace;
    padding-top:5px;
    padding-right:5px;
    padding-left:5px;
    padding-bottom:5px;
}

.popover {
    max-width: 80%;
}

.hit-miss-counter {
    padding-left:15px;
    border: 1px solid #DDDDDD;
    font-family:monospace;
    padding-top:5px;
    padding-right:5px;
    padding-bottom:5px; 
}

.panel-body-background {
    background-color: #fcfcfc;
}

.panel-footer-background {
    background-color: #F5F5F5;
}

.memory-color-block {
    border-style: none;
    border-radius: 3px;
}

.memory-dot-block {
    border: 1px solid #EEEEEE;
    border-radius: 3px;
    margin-right:0;
}

.memory-number-block {
    border-top: 1px solid #EEEEEE;
    border-radius: 3px;
    font-family:monospace;
}

.memory-panel {
    resize: vertical;
}

.run-cache-hit-animation {
    animation-name: cache-hit-animation;
    animation-duration: 0.5s;
}

@keyframes cache-hit-animation {
    from {background-color: #5AB868;}
    to {background-color: #77FF58;}
}

.run-cache-miss-animation {
    animation-name: cache-miss-animation;
    animation-duration: 0.5s;
}

@keyframes cache-miss-animation {
    from {background-color: #D95253;}
    to {background-color: #77FF58;}
}

.run-hit-animation {
    animation-name: hit-animation;
    animation-duration: 0.5s;
}

.run-miss-animation {
    animation-name: miss-animation;
    animation-duration: 0.5s;
}

@keyframes hit-animation {
    from {background-color: #5AB868;}
    to {background-color: #FFFFFF;}
}

@keyframes miss-animation {
    from {background-color: #D95253;}
    to {background-color: #FFFFFF;}
}