1#table-header { 2 background-color: rgba(150, 150, 255, 0.4); 3} 4 5#asm-container { 6 background-color: rgba(200, 200, 255, 0.4); 7 position:absolute; 8 overflow:auto; 9 cursor:default; 10 width:50%; 11 height:92%; 12} 13 14#source-container { 15 position:absolute; 16 overflow:auto; 17 width:48%; 18 left:51%; 19 height:92%; 20} 21 22table { 23 border-collapse: collapse; 24} 25 26.hover-underline:hover { 27 text-decoration: underline; 28} 29 30.highlight-flash-blue { 31 -webkit-transition: all 1s ease; 32 background-color: rgba(50, 50, 245, 0.4); 33 border-radius: 10px; 34 -o-border-radius: 10px; 35 -moz-border-radius: 10px; 36 -webkit-border-radius: 10px; 37} 38 39 40.highlight-green { 41 background-color: rgba(0, 255, 0, 0.4); 42 border-radius: 10px; 43 -o-border-radius: 10px; 44 -moz-border-radius: 10px; 45 -webkit-border-radius: 10px; 46} 47 48.highlight-yellow { 49 background-color: rgba(255, 255, 0, 0.4); 50 border-radius: 10px; 51 -o-border-radius: 10px; 52 -moz-border-radius: 10px; 53 -webkit-border-radius: 10px; 54} 55 56.highlight-gray { 57 background-color: rgba(128, 128, 128, 0.4); 58 border-radius: 10px; 59 -o-border-radius: 10px; 60 -moz-border-radius: 10px; 61 -webkit-border-radius: 10px; 62} 63 64.highlight-red { 65 background-color: rgba(255, 0, 0, 0.4); 66 border-radius: 10px; 67 -o-border-radius: 10px; 68 -moz-border-radius: 10px; 69 -webkit-border-radius: 10px; 70} 71