hexdumping

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

diff --git a/defaultPages/StyleSheet/CieloNegro.xml b/defaultPages/StyleSheet/CieloNegro.xml
index c663274fbf4f71f7f961501841e75fbdd9caf301..e89e3ab09ec04067a22525c69f0e326c52ecd9dc 100644 (file)
--- a/defaultPages/StyleSheet/CieloNegro.xml
+++ b/defaultPages/StyleSheet/CieloNegro.xml
@@ -208,6 +208,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;
 }