/* border for screenshots */
.pic-border {
border: 5px solid #0a6185; 
padding: 20px; 
margin-top: 1em;
}
/* border to match text input fields in system */
.text-border {
border: 2px solid #5b65c9; 
padding: 10px; 
}
/* border to mimic navigation bar in system */
.nav-border {
border-left: 30px solid #6c9fd9;
}