web/css/Code.css

   1 .code {
   2   border-top:           1px solid #ddd;
   3   border-left:          1px solid #ddd;
   4   border-right:         2px solid #000;
   5   border-bottom:        2px solid #000;
   6   padding:              10px;
   7   margin-top:           5px;
   8   margin-left:          5%;
   9   margin-right:         5%;
  10   background:           #ffffea;
  11   color:                black;
  12   font-family:          courier;
  13   white-space:          pre;
  14   -moz-border-radius:   10px;
  15   border-radius:        10px;
  16 }
  17
  18 #code {
  19   color:                black;
  20   font-size:            14px;
  21   font-family:          courier;
  22   border-bottom:        1px dotted #ddd;
  23   padding-left:         5px;
  24 }
  25
  26 #line-number {
  27   color:                #804000;
  28   font-family:          Arial;
  29   font-size:            14px;
  30   padding-right:        5px;
  31   border-right:         1px dotted #804000;
  32   text-align:           right;
  33   width:                15px;
  34 }