pre {
  padding: 0em 0.5em 0em 0em;
  margin: 0.25em 0 0.5em 0.5em;
  font-size: 90%;
  font-family: monospace;
  color: black;
}

.box { margin-left :     1em ;
        margin-right :    1em ;
        border:           solid ;
        border-width:     1px;
        background-color: #E8F0E8;
        padding:          0.5em;
        page-break-inside: avoid ;
        font-size: 90% ;
     }

.nobox { background-color: #FFF;
        border:           solid ;
        border-width:     1px;
     }

.client {margin-left :     1em ;
       margin-right :    1em ;
       border:           solid ;
       border-width:     1px;
       background-color: #E8E8E8;
       padding:          0.5em;
       page-break-inside: avoid ;
       font-size: 90% ;
     }

.server {margin-left :     1em ;
       margin-right :    1em ;
       border:           solid ;
       border-width:     1px;
       background-color:#f7f8ff;
       padding:          0.5em;
       page-break-inside: avoid ;
       font-size: 90% ;
     }

.bold { font-weight: bold;
    }