player/style.css

   1 /* Possible windows:
   2  * grid
   3  * buffer
   4  *
   5  * Possible selectors:
   6  * normal
   7  * emphasized
   8  * preformatted
   9  * header
  10  * subheader
  11  * alert
  12  * note
  13  * block-quote
  14  * input
  15  * user1
  16  * user2
  17  * hyperlink
  18  *
  19  * Possible style hints:
  20  * font-family (string)
  21  * font-size (float)
  22  * font-weight (normal/bold)
  23  * font-style (normal/italic)
  24  * color (#hex-value)
  25  * background-color (#hex-value)
  26  * text-align (left/right/center)
  27  */
  28 grid {
  29         font-size: 11;
  30 }
  31
  32 buffer {
  33         font-size: 11;
  34 }
  35
  36 grid.user1 {
  37         color: #303030;
  38         background-color: #ffffff;
  39 }
  40
  41 buffer.header {
  42         font-weight: bold;
  43 }
  44
  45 buffer.subheader {
  46         font-weight: bold;
  47 }
  48
  49 buffer.alert {
  50         color: #aa0000;
  51         font-weight: bold;
  52 }
  53
  54 buffer.note {
  55         color: #aaaa00;
  56         font-weight: bold;
  57 }
  58
  59 buffer.block-quote {
  60         text-align: center;
  61         font-style: italic;
  62 }
  63
  64 buffer.input {
  65         color: #0000aa;
  66         font-style: italic;
  67 }
  68
  69 buffer.user1 {
  70 }
  71
  72 buffer.user2 {
  73 }
  74
  75 buffer.pager {
  76         color: #ffffff;
  77         background-color: #303030;
  78 }