Home | History | Annotate | Download | only in sodium 
      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 
     22 table {
     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