pre.db {
 border: 1px solid gray;
 border-radius: 4px;
 background-color: #f8f8f8;
 padding: 6px;
 font-family: Arial, sans-serif;
 font-size: 16px;
 color: blue
}
pre.start {
 border: 1px solid gray;
 border-radius: 4px;
 background-color: #f8f8f8;
 padding: 6px;
 font-family: Arial, sans-serif;
 font-size: 16px;
 color: green
}
pre.stop {
 border: 1px solid gray;
 border-radius: 4px;
 background-color: #f8f8f8;
 padding: 6px;
 font-family: Arial, sans-serif;
 font-size: 16px;
 color: red
}