/* including file inline : "/net/css/ca2software/bash.css" */ 
.green{
	color:rgb(0, 192, 0);
}
.yellow{
	color:rgb(192, 192, 0);
}
.magenta{
	color:rgb(192, 0, 192);
}

.bash_terminal {
  font-family: 'Lucida Console','Courier New';
  width: 700px;
  height: 450px;
  display:inline-block;
    padding-right:16pt;
  padding-bottom:16pt;

}

.bash_terminal header {
  border-top-left-radius: 15px;
  border-top-right-radius: 15px;
  background-color: #555;
  height: 45px;
  line-height: 45px;
  text-align: center;
  color: #DDD;
}

.bash_terminal .consolebody {
  border-bottom-left-radius: 15px;
  border-bottom-right-radius: 15px;
  box-sizing: border-box;
  padding: 20px;
  height: calc(100% - 40px);
  overflow: scroll;
  background-color: #000;
  color: #999999;
}
.bash_terminal .consolebody p {
  line-height: 1.0em;
margin:0px;
}