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