hexdumping

[Rakka.git] / defaultPages / StyleSheet / Default.xml

diff --git a/defaultPages/StyleSheet/Default.xml b/defaultPages/StyleSheet/Default.xml
index 15be5133b44d92ba2c8bcb087678e258089a88c0..06b84e8358e692f9560dedadab1e0f20b49c1f08 100644 (file)
--- a/defaultPages/StyleSheet/Default.xml
+++ b/defaultPages/StyleSheet/Default.xml
@@ -212,6 +212,12 @@ table.pageEditor {
 .pageEditor textarea.source {
     height: 30em;
 }
+.pageEditor textarea.hexDump {
+    font-size: 70%;
+    font-family: monospace;
+    white-space: pre;
+    height: 10em;
+}
 .pageEditor input[type="button"] {
     margin: 0 2px;
 }