From 96df3ac91b1240be0dfba2b77dbc8d1356e34b0f Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Fri, 25 May 2012 17:03:12 +0100 Subject: [PATCH] Shortening of hex codes & swapping tab text cols Hex codes shortened if poss (ie, #888888 becomes #888 and #ff0000 becomes #f00) Swapped text colour on tabs, selected now has black text, others white text --- editor.php | 10 ++++---- files.php | 10 ++++---- lib/coder.css | 54 ++++++++++++++++++++-------------------- lib/coder.js | 14 +++++------ lib/file-control.php | 2 +- lib/files.css | 2 +- lib/help.css | 8 +++--- lib/multiple-results.css | 8 +++--- lib/settings-screen.css | 14 +++++------ lib/settings-screen.php | 10 ++++---- lib/settings.php | 2 +- 11 files changed, 67 insertions(+), 67 deletions(-) diff --git a/editor.php b/editor.php index 392fdaf..125289f 100644 --- a/editor.php +++ b/editor.php @@ -23,15 +23,15 @@ if ($theme=="default") { } ?> @@ -40,8 +40,8 @@ span.CodeMirror-matchhighlight {background: #555555} @@ -90,7 +90,7 @@ for ($i=0;$i

security

-new password 8 chars
+new password 8 chars

confirm password

@@ -108,7 +108,7 @@ ip addresses

plugins

-plugins array name, img src, style, url, target, setInterval (mins)
+plugins array name, img src, style, url, target, setInterval (mins)