14     width: 80%;

    14     width: 80%;

    15     font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif;

    15     font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif;

    16     font-size: 1.1em;

    16     font-size: 1.1em;

    17     color: #58585a;

    17     color: #58585a;

    18     margin-left: 1em;

    18     margin-left: 1em;

    19 }

    20 }

    20 pre.plain {

    21 pre.plain {

    21     font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif;

    22     font-family: Verdana, Arial, "Bitstream Vera Sans", Helvetica, sans-serif;

    22     font-size: 1em;

    23     font-size: 1em;

    23     color: #58585a;

    24     color: #58585a;