styles.css 1.36 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70
#table-header {
	background-color: rgba(150, 150, 255, 0.4);
}

#asm-container {
	background-color: rgba(200, 200, 255, 0.4);
    position:absolute;
    overflow:auto;
    cursor:default;
    width:50%;
    height:92%;
}

#source-container {
    position:absolute;
    overflow:auto;
    width:48%;
    left:51%;
    height:92%;
}

table {
    border-collapse: collapse;
}

.hover-underline:hover {
    text-decoration: underline;
}

.highlight-flash-blue {
    -webkit-transition: all 1s ease;
    background-color: rgba(50, 50, 245, 0.4);
    border-radius: 10px;
    -o-border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}


.highlight-green {
    background-color: rgba(0, 255, 0, 0.4);
    border-radius: 10px;
    -o-border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}

.highlight-yellow {
    background-color: rgba(255, 255, 0, 0.4);
    border-radius: 10px;
    -o-border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}

.highlight-gray {
    background-color: rgba(128, 128, 128, 0.4);
    border-radius: 10px;
    -o-border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}

.highlight-red {
    background-color: rgba(255, 0, 0, 0.4);
    border-radius: 10px;
    -o-border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
}