hyperlinks can ofcourse also be styled by css

diff --git a/player/style.css b/player/style.css
new file mode 100644 (file)
index 0000000..257f404
--- /dev/null
+++ b/player/style.css
@@ -0,0 +1,77 @@
+/* Possible windows:
+ * grid
+ * buffer
+ *
+ * Possible selectors:
+ * normal
+ * emphasized
+ * preformatted
+ * header
+ * subheader
+ * alert
+ * note
+ * block-quote
+ * input
+ * user1
+ * user2
+ * hyperlink
+ *
+ * Possible style hints:
+ * font-family (string)
+ * font-size (float)
+ * font-weight (normal/bold)
+ * font-style (normal/italic)
+ * color (#hex-value)
+ * background-color (#hex-value)
+ * text-align (left/right/center)
+ */
+grid.normal {
+       font-size: 10;
+}
+
+grid.user1 {
+       color: #303030;
+       background-color: #ffffff;
+}
+
+buffer.normal {
+       font-size: 10;
+}
+
+buffer.header {
+       font-size: 14;
+       font-weight: bold;
+       text-align: center;
+}
+
+buffer.subheader {
+       font-size: 12;
+       font-weight: bold;
+}
+
+buffer.alert {
+       color: #aa0000;
+       font-weight: bold;
+}
+
+buffer.note {
+       color: #aaaa00;
+       font-weight: bold;
+}
+
+buffer.block-quote {
+       text-align: center;
+       font-style: italic;
+}
+
+buffer.input {
+       color: #0000aa;
+       font-style: italic;
+}
+
+buffer.user1 {
+}
+
+buffer.user2 {
+}
+