.shell_bg { 
    color: #000; 
    background: #f6f6f6;
    padding: 20px;
}

.shell_dolar { color: #0a5901 }
.shell_dir, .shell_tilde { color: #054f93; font-weight: bold }

.ct_a_prm { color: #08c }
.ct_a_prm:hover { color: #02526b }