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: 14;
  30 }
  31
  32 buffer {
  33         font-size: 14;
  34 }
  35
  36 grid.user1 {
  37         color: #303030;
  38         background-color: #ffffff;
  39 }
  40
  41 buffer.header {
  42         font-weight: bold;
  43         text-align: center;
  44 }
  45
  46 buffer.subheader {
  47         font-weight: bold;
  48 }
  49
  50 buffer.alert {
  51         color: #aa0000;
  52         font-weight: bold;
  53 }
  54
  55 buffer.note {
  56         color: #aaaa00;
  57         font-weight: bold;
  58 }
  59
  60 buffer.block-quote {
  61         text-align: center;
  62         font-style: italic;
  63 }
  64
  65 buffer.input {
  66         color: #0000aa;
  67         font-style: italic;
  68 }
  69
  70 buffer.user1 {
  71 }
  72
  73 buffer.user2 {
  74 }
  75
  76 buffer.pager {
  77         color: #ffffff;
  78         background-color: #303030;
  79 }