.comment { color: #D00 }

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

em { color: #F00 }

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

.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% ;
     }

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

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

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

.lookit { color: #A00 ;
          font-size: 120% ;
          font-weight: bold ;
          text-decoration: underline ;
        }