A preliminary attempt at a test for the theme expression tokeniser.

2008-06-10  Thomas Thurman  <tthurman@gnome.org>

        * test/tokentest:  A preliminary attempt at a test for the
          theme expression tokeniser.


svn path=/trunk/; revision=3753

5 files changed, 2094 insertions, 4 deletions

diff --git a/test/tokentest/Makefile b/test/tokentest/Makefile
new file mode 100644
index 00000000..88b3c5f2
--- /dev/null
+++ b/test/tokentest/Makefile
@@ -0,0 +1,7 @@
+# completely hacked-up makefile, proceed at your own risk, etc
+
+default:
+	@echo "Try 'make tp' or 'make glib'"
+
+tp: tokentest.c
+	gcc `pkg-config --cflags --libs glib-2.0 gdk-2.0 atk` -DMETACITY_DATADIR=\"/usr/share/metacity\" -I../.. -I../../src -I../../src/include tokentest.c ../../src/ui/theme.c ../../src/ui/gradient.c -o tp
diff --git a/test/tokentest/README b/test/tokentest/README
new file mode 100644
index 00000000..c98dbe4a
--- /dev/null
+++ b/test/tokentest/README
@@ -0,0 +1,19 @@
+Tokeniser test
+==============
+This directory contains a set of tools for checking the behaviour
+of the tokeniser for Metacity theme files.
+
+tokentest.ini contains a list of all expressions retrieved from
+all theme files on art.gnome.org, and mappings to what the tokenising
+should be, in a separate representation.  get-tokens.py produces the
+template version of this; it will produce a file with no expected
+values.
+
+tokentest.c will either check that a tokeniser behaves according to
+tokentest.ini, or, if it finds a file, is empty it will print the
+values that the tokeniser it's using is producing.
+
+The makefile is a hacky attempt at letting you compile either against
+Metacity's existing tokeniser or one which uses GLib's "scanner".
+
+This code may or may not eventually end up in the automated test suite.
\ No newline at end of file
diff --git a/test/tokentest/get-tokens.py b/test/tokentest/get-tokens.py
new file mode 100644
index 00000000..728fa7c3
--- /dev/null
+++ b/test/tokentest/get-tokens.py
@@ -0,0 +1,91 @@
+#!/usr/bin/python
+# Copyright (C) 2008 Thomas Thurman
+# 
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+# 02111-1307, USA.
+
+
+import os
+import xml.sax
+
+standard = ['x', 'y', 'width', 'height']
+
+expressions = {
+  'line': ['x1', 'x2', 'y1', 'y2'],
+  'rectangle': standard,
+  'arc': standard,
+  'clip': standard,
+  'gradient': standard,
+  'image': standard,
+  'gtk_arrow': standard,
+  'gtk_box': standard,
+  'gtk_vline': standard,
+  'icon': standard,
+  'title': standard,
+  'include': standard,
+  'tile': ['x', 'y', 'width', 'height',
+           'tile_xoffset', 'tile_yoffset',
+           'tile_width', 'tile_height'],
+}
+
+all_themes = '../../../all-themes/'
+
+result = {}
+
+class themeparser:
+  def __init__(self, name):
+    self.filename = name
+
+  def processingInstruction(self):
+    pass
+
+  def characters(self, what):
+    pass
+
+  def setDocumentLocator(self, where):
+    pass
+
+  def startDocument(self):
+    pass
+
+  def startElement(self, name, attrs):
+    if expressions.has_key(name):
+      for attr in expressions[name]:
+        if attrs.has_key(attr):
+          expression = attrs[attr]
+          if not result.has_key(expression): result[expression] = {}
+          result[expression][self.filename] = 1
+
+  def endElement(self, name):
+    pass # print "end element"
+
+  def endDocument(self):
+    pass
+
+def maybe_parse(themename, filename):
+  if os.access(all_themes+filename, os.F_OK):
+    parser = themeparser(themename)
+    xml.sax.parse(all_themes+filename, parser)
+  
+for theme in os.listdir(all_themes):
+  maybe_parse(theme, theme+'/metacity-1/metacity-theme-1.xml')
+  maybe_parse(theme, theme+'/metacity-theme-1.xml')
+
+print '[tokentest0]'
+
+for expr in sorted(result.keys()):
+  print "# %s" % (', '.join(sorted(result[expr])))
+  print "%s=REQ" % (expr)
+  print
diff --git a/test/tokentest/tokentest.c b/test/tokentest/tokentest.c
index d92b0985..2fd1e31d 100644
--- a/test/tokentest/tokentest.c
+++ b/test/tokentest/tokentest.c
@@ -24,16 +24,120 @@
 
 #include <stdio.h>
 #include <glib/gerror.h>
+#include <gtk/gtkobject.h>
+#include <gtk/gtkicontheme.h>
 #include <ui/theme.h>
+#include <util.h>
 
 #define TOKENTEST_GROUP "tokentest0"
 
+/************************/
+/* Dummy functions which are just here to keep the linker happy */
+
 MetaTheme* meta_theme_load (const char *theme_name,
                             GError    **err) {
-  // dummy
+  /* dummy */
   return NULL;
 }
 
+void
+meta_bug(const char *format, ...)
+{
+  /* dummy */
+}
+
+void
+meta_warning(const char *format, ...)
+{
+  /* dummy */
+}
+
+GType
+gtk_widget_get_type (void)
+{
+  /* dummy */
+}
+
+GtkType
+gtk_object_get_type (void)
+{
+  /* dummy */
+}
+
+void gtk_paint_arrow      (GtkStyle        *style,
+                           GdkWindow       *window,
+                           GtkStateType     state_type,
+                           GtkShadowType    shadow_type,
+                           GdkRectangle    *area,
+                           GtkWidget       *widget,
+                           const gchar     *detail,
+                           GtkArrowType     arrow_type,
+                           gboolean         fill,
+                           gint             x,
+                           gint             y,
+                           gint             width,
+                           gint             height)
+{
+  /* dummy */
+}
+
+void gtk_paint_vline      (GtkStyle        *style,
+                           GdkWindow       *window,
+                           GtkStateType     state_type,
+                           GdkRectangle    *area,
+                           GtkWidget       *widget,
+                           const gchar     *detail,
+                           gint             y1_,
+                           gint             y2_,
+                           gint             x)
+{
+  /* dummy */
+}
+void gtk_paint_box        (GtkStyle        *style,
+                           GdkWindow       *window,
+                           GtkStateType     state_type,
+                           GtkShadowType    shadow_type,
+                           GdkRectangle    *area,
+                           GtkWidget       *widget,
+                           const gchar     *detail,
+                           gint             x,
+                           gint             y,
+                           gint             width,
+                           gint             height)
+{
+  /* dummy */
+}
+
+GtkIconTheme *gtk_icon_theme_get_default           (void)
+{
+  /* dummy */
+}
+
+GdkPixbuf *   gtk_icon_theme_load_icon             (GtkIconTheme                *icon_theme,
+                                                    const gchar                 *icon_name,
+                                                    gint                         size,
+                                                    GtkIconLookupFlags           flags,
+                                                    GError                     **error)
+{
+  /* dummy */
+}
+
+MetaRectangle                 meta_rect (int x, int y, int width, int height)
+{
+  /* dummy */
+}
+
+void
+meta_topic_real (MetaDebugTopic topic,
+                 const char *format,
+                 ...)
+{
+  /* dummy */
+}
+
+
+/*********************************/
+
 GString *draw_spec_to_string(MetaDrawSpec *spec)
 {
   GString *result;
@@ -133,11 +237,14 @@ load_keys ()
   GError* err = NULL;
   gchar** keys_of_file;
   gchar** cursor;
+  gboolean ever_printed_header = FALSE;
+  gint passes = 0, fails = 0;
+
   keys = g_key_file_new ();
 
   g_key_file_load_from_file (keys,
         "tokentest.ini",
-        G_KEY_FILE_NONE,
+        G_KEY_FILE_KEEP_COMMENTS,
         &err);
 
   keys_of_file = g_key_file_get_keys (keys,
@@ -161,20 +268,35 @@ load_keys ()
 
       str = draw_spec_to_string (spec);
 
-      if (strcmp (str->str, desideratum)==0) {
+      if (strcmp ("REQ", desideratum)==0) {
+	gchar *comment = g_key_file_get_comment (keys, TOKENTEST_GROUP, *cursor, &err);
+
+	if (!ever_printed_header) {
+	  g_print ("[%s]\n", TOKENTEST_GROUP);
+	  ever_printed_header = TRUE;
+	}
+
+	g_print ("\n#%s%s=%s\n", comment? comment: "", *cursor, str->str);
+	g_free (comment);
+      } else if (strcmp (str->str, desideratum)==0) {
         g_print("PASS: %s\n", *cursor);
+	passes++;
       } else {
         g_warning ("FAIL: %s, wanted %s, got %s\n",
             *cursor, desideratum, str->str);
+	fails++;
       }
 
       meta_theme_free (dummy);
       g_string_free (str, TRUE);
+      g_free (desideratum);
 
       cursor++;
     }
 
   g_strfreev (keys_of_file);
+
+  g_print("\n# Passes: %d.  Fails: %d.\n", passes, fails);
 }
 
 int
diff --git a/test/tokentest/tokentest.ini b/test/tokentest/tokentest.ini
index 50fdeaa9..7cbc5d14 100644
--- a/test/tokentest/tokentest.ini
+++ b/test/tokentest/tokentest.ini
@@ -1,5 +1,7 @@
-# 
 # Copyright (C) 2008 Thomas Thurman and others
+# Generated using the "get-tokens.py" script from all themes on
+# art.gnome.org, which are all released under DFSG-compatible
+# licences.
 # 
 # This program is free software; you can redistribute it and/or
 # modify it under the terms of the GNU General Public License as
@@ -16,9 +18,1858 @@
 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 # 02111-1307, USA.
 
+###########################
+
 [tokentest0]
+
+###########################
+
+# Some very simple examples
 width+height=(str width)(add)(str height)
 width*height=(str width)(multiply)(str height)
 width `min` height=(str width)(min)(str height)
+
+###########################
+
+# Strings which can't possibly be well-formed
 ~~~=NONE
 
+###########################
+
+# Strings auto-generated by the original tokeniser
+# from art.gnome.org themes (the theme name is given
+# in a comment)
+
+# Amiga, AmigaRelief, pOS
+(((height - title_height) / 2) `max` 0)=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )
+
+# Amiga, AmigaRelief, pOS
+(((height - title_height) / 2) `max` 0)=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )
+
+# Aquarius, Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Gilouche, GiloucheIM, River, SmoothGNOME, TangoDance, c2
+(((height - title_height) / 2) `max` 0) + 1=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )(add)(int 1)
+
+# Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, River, SmoothGNOME, TangoDance, c2
+(((height - title_height) / 2) `max` 0) + 2=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )(add)(int 2)
+
+# Clearlooks-RedExit
+(((height - title_height) / 2) `max` 0) - 1=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )(subtract)(int 1)
+
+# Gilouche, GiloucheIM
+(((height - title_height) / 2) `max` 0)-1=( ( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0) )(subtract)(int 1)
+
+# Gilouche, GiloucheIM
+((3 `max` (width-title_width)) / 2)=( ( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2) )
+
+# Gilouche, GiloucheIM
+((3 `max` (width-title_width)) / 2)+1=( ( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2) )(add)(int 1)
+
+# Gilouche, GiloucheIM
+((3 `max` (width-title_width)) / 2)-1=( ( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Esco
+((height - (ButtonIPad + 1) * 2) * 0.4) * 0.67=( ( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -1717986918) )(multiply)(double -687194767)
+
+# Atlanta, Bright, Carved2, Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, Gilouche, GiloucheIM, Metabox, Mista, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, River, Sandwish, Simple, SmoothGNOME, TangoDance, Tetelestai-Modern
+((height - title_height) / 2) `max` 0=( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0)
+
+# Simple, Tetelestai-Modern
+((height - title_height) / 2) `max` 0 + 1=( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0)(add)(int 1)
+
+# Outcrop
+((height - title_height) / 2) `max` 0 +2=( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0)(add)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((height-(Bmin`max`height-Bpad*2))/2)=( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((height-(Bmin`max`height-Bpad*2))/2) + 1=( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(add)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((height-(Bmin`max`height-Bpad*2))/2) + 2=( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(add)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((height-(Bmin`max`height-Bpad*2))/2) - 1=( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Clearbox-in, Clearbox-out, Simplebox
+((height-title_height)/2) `max` 0=( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(max)(int 0)
+
+# Crux
+((left_width + ButtonWidth + IconTitleSpacing + title_width + CenterTitlePieceWidth * height / 22) `min` (width - 3 * ButtonWidth - right_width)) + 1=( ( (str left_width)(add)(str ButtonWidth)(add)(str IconTitleSpacing)(add)(str title_width)(add)(str CenterTitlePieceWidth)(multiply)(str height)(divide)(int 22) )(min)( (str width)(subtract)(int 3)(multiply)(str ButtonWidth)(subtract)(str right_width) ) )(add)(int 1)
+
+# Crux
+((left_width + ButtonWidth + IconTitleSpacing + title_width) `min` (width - object_width * height / 22 - right_width - 3 * ButtonWidth)) + 1=( ( (str left_width)(add)(str ButtonWidth)(add)(str IconTitleSpacing)(add)(str title_width) )(min)( (str width)(subtract)(str object_width)(multiply)(str height)(divide)(int 22)(subtract)(str right_width)(subtract)(int 3)(multiply)(str ButtonWidth) ) )(add)(int 1)
+
+# Crux, Sandwish
+((title_width + height / 2 + 32)) + 1=( ( (str title_width)(add)(str height)(divide)(int 2)(add)(int 32) ) )(add)(int 1)
+
+# Crux, Sandwish
+((title_width + height / 2 - 4) `min` (width - object_width - 26))=( ( (str title_width)(add)(str height)(divide)(int 2)(subtract)(int 4) )(min)( (str width)(subtract)(str object_width)(subtract)(int 26) ) )
+
+# Crux, Sandwish
+((title_width + height / 2) `min` (width - object_width - 6)) + 1=( ( (str title_width)(add)(str height)(divide)(int 2) )(min)( (str width)(subtract)(str object_width)(subtract)(int 6) ) )(add)(int 1)
+
+# Sandwish
+((title_width - 4) `min` (title_width/2-10))=( ( (str title_width)(subtract)(int 4) )(min)( (str title_width)(divide)(int 2)(subtract)(int 10) ) )
+
+# Sandwish
+((title_width) `min` (title_width/2-10))=( ( (str title_width) )(min)( (str title_width)(divide)(int 2)(subtract)(int 10) ) )
+
+# Sandwish
+((title_width) `min` (width)) + 1=( ( (str title_width) )(min)( (str width) ) )(add)(int 1)
+
+# Sandwish
+((title_width)) + 1=( ( (str title_width) ) )(add)(int 1)
+
+# Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2
+((width - title_width) / 2)=( ( (str width)(subtract)(str title_width) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((width-(Bmin`max`height-Bpad*2))/2)=( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((width-(Bmin`max`height-Bpad*2))/2) + 1=( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(add)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+((width-(Bmin`max`height-Bpad*2))/2) + 2=( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(add)(int 2)
+
+# Sloth 
+((width-title_width)/2) `max` 40=( ( (str width)(subtract)(str title_width) )(divide)(int 2) )(max)(int 40)
+
+# Atlanta, EasyListening, Metabox, Outcrop
+(0 `max` (width-title_width)) / 2=( (int 0)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)
+
+# Outcrop
+(0 `max` (width-title_width)) / 2 +1=( (int 0)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)(add)(int 1)
+
+# EasyListening
+(0 `max` (width-title_width)) / 2 - 1=( (int 0)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)(subtract)(int 1)
+
+# Atlanta, Bright, Metabox, Outcrop
+(0 `max` (width-title_width-mini_icon_width-IconTitleSpacing)) / 2=( (int 0)(max)( (str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing) ) )(divide)(int 2)
+
+# Atlanta, Metabox, Outcrop, Simple
+(0 `max` (width-title_width-mini_icon_width-IconTitleSpacing)) / 2 + mini_icon_width + IconTitleSpacing=( (int 0)(max)( (str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing) ) )(divide)(int 2)(add)(str mini_icon_width)(add)(str IconTitleSpacing)
+
+# Simple
+(0 `max` (width-title_width-mini_icon_width-IconTitleSpacing)) / 2 + mini_icon_width + IconTitleSpacing + 1=( (int 0)(max)( (str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing) ) )(divide)(int 2)(add)(str mini_icon_width)(add)(str IconTitleSpacing)(add)(int 1)
+
+# Outcrop
+(0 `max` (width-title_width-mini_icon_width-IconTitleSpacing)) / 2 + mini_icon_width + IconTitleSpacing +1=( (int 0)(max)( (str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing) ) )(divide)(int 2)(add)(str mini_icon_width)(add)(str IconTitleSpacing)(add)(int 1)
+
+# Aquarius, Carved2, Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, Gilouche, GiloucheIM, River, SmoothGNOME, TangoDance, c2
+(3 `max` (width-title_width)) / 2=( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)
+
+# Aquarius, Carved2, Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, River, SmoothGNOME, TangoDance, c2
+(3 `max` (width-title_width)) / 2 + 1=( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)(add)(int 1)
+
+# Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks2-Squared, Clearlooks2-Squared-Berries, River, SmoothGNOME, TangoDance, c2
+(3 `max` (width-title_width)) / 2 + 2=( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)(add)(int 2)
+
+# Bright
+(3 `max` (width-title_width)) / 2+2=( (int 3)(max)( (str width)(subtract)(str title_width) ) )(divide)(int 2)(add)(int 2)
+
+# Sandwish
+(4+title_width+20) `min` (title_width-30)=( (int 4)(add)(str title_width)(add)(int 20) )(min)( (str title_width)(subtract)(int 30) )
+
+# Sandwish
+(4+title_width+291-34) `min` (width-4)=( (int 4)(add)(str title_width)(add)(int 291)(subtract)(int 34) )(min)( (str width)(subtract)(int 4) )
+
+# Chiro, c2
+(ButtonIPad+1) + 1=( (str ButtonIPad)(add)(int 1) )(add)(int 1)
+
+# Esco
+(height - (ButtonIPad + 1) * 2) * 0.4=( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -1717986918)
+
+# Esco
+(height - (ButtonIPad + 1) * 2) * 0.4 + 1=( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -1717986918)(add)(int 1)
+
+# Esco
+(height - (ButtonIPad + 1) * 2) * 0.67=( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -687194767)
+
+# AgingGorilla, Crux, Gorilla, Sandwish, Soft Squares, Tactile, ThinMC
+(height - object_height) / 2=( (str height)(subtract)(str object_height) )(divide)(int 2)
+
+# Graphite
+(height - title_height + 2) / 2=( (str height)(subtract)(str title_height)(add)(int 2) )(divide)(int 2)
+
+# Agata, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Black, Correcamins, Firey 1.0, Firey Dark, Graphite, Maemo, Redmond, Silverado, Soft Squares, Tactile, ThinMC
+(height - title_height) / 2=( (str height)(subtract)(str title_height) )(divide)(int 2)
+
+# Agata, Black, Firey 1.0, Firey Dark
+(height - title_height) / 2 + 1=( (str height)(subtract)(str title_height) )(divide)(int 2)(add)(int 1)
+
+# Agata
+(height - title_height) / 2 - 1=( (str height)(subtract)(str title_height) )(divide)(int 2)(subtract)(int 1)
+
+# Maemo
+(height - title_height) / 2+1=( (str height)(subtract)(str title_height) )(divide)(int 2)(add)(int 1)
+
+# sky, sky-blue
+(height - title_height) / 5=( (str height)(subtract)(str title_height) )(divide)(int 5)
+
+# Esco
+(height / 2) - (mini_icon_height / 2)=( (str height)(divide)(int 2) )(subtract)( (str mini_icon_height)(divide)(int 2) )
+
+# Esco
+(height / 2) - (mini_icon_height / 2) - 2=( (str height)(divide)(int 2) )(subtract)( (str mini_icon_height)(divide)(int 2) )(subtract)(int 2)
+
+# Esco
+(height / 2) - (title_height / 2)=( (str height)(divide)(int 2) )(subtract)( (str title_height)(divide)(int 2) )
+
+# Esco
+(height / 2) - (title_height / 2) - 1=( (str height)(divide)(int 2) )(subtract)( (str title_height)(divide)(int 2) )(subtract)(int 1)
+
+# Esco
+(height / 2) - (title_height / 2) - 2=( (str height)(divide)(int 2) )(subtract)( (str title_height)(divide)(int 2) )(subtract)(int 2)
+
+# Atlanta
+(height-(ArrowSpacer*2)) `max` MinArrowSize=( (str height)(subtract)( (str ArrowSpacer)(multiply)(int 2) ) )(max)(str MinArrowSize)
+
+# Outcrop
+(height-1)-(title_height /1.5)=( (str height)(subtract)(int 1) )(subtract)( (str title_height)(divide)(double 0) )
+
+# Clearlooks-2.0-blend, Gilouche, GiloucheIM, TangoDance
+(height-10)/2=( (str height)(subtract)(int 10) )(divide)(int 2)
+
+# Atlanta, Bright, Metabox, Outcrop
+(height-mini_icon_height) / 2=( (str height)(subtract)(str mini_icon_height) )(divide)(int 2)
+
+# Aquarius, Clearlooks-RedExit, Firey 1.0, Firey Dark, Gilouche, GiloucheIM
+(height-mini_icon_height)/2=( (str height)(subtract)(str mini_icon_height) )(divide)(int 2)
+
+# Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, TangoDance
+(height-mini_icon_height)/2+1=( (str height)(subtract)(str mini_icon_height) )(divide)(int 2)(add)(int 1)
+
+# Vista Basic
+(height-mini_icon_height)/2-1=( (str height)(subtract)(str mini_icon_height) )(divide)(int 2)(subtract)(int 1)
+
+# boxx
+(height-object_height)/2=( (str height)(subtract)(str object_height) )(divide)(int 2)
+
+# boxx
+(height-object_height)/2+1=( (str height)(subtract)(str object_height) )(divide)(int 2)(add)(int 1)
+
+# 4DWM, MWM
+(height-title_height)/2=( (str height)(subtract)(str title_height) )(divide)(int 2)
+
+# Tetelestai-Modern
+(height/2)-3=( (str height)(divide)(int 2) )(subtract)(int 3)
+
+# Tetelestai-Modern
+(height/2)-4=( (str height)(divide)(int 2) )(subtract)(int 4)
+
+# Sloth 
+(height/2)-5=( (str height)(divide)(int 2) )(subtract)(int 5)
+
+# Crux
+(left_width + ButtonWidth + IconTitleSpacing + title_width) `min`                     (width - right_width - 3 * ButtonWidth - CenterTitlePieceWidth * height / 22 - 3)=( (str left_width)(add)(str ButtonWidth)(add)(str IconTitleSpacing)(add)(str title_width) )(min)( (str width)(subtract)(str right_width)(subtract)(int 3)(multiply)(str ButtonWidth)(subtract)(str CenterTitlePieceWidth)(multiply)(str height)(divide)(int 22)(subtract)(int 3) )
+
+# Chiro, c2
+(title_height + 6)/2=( (str title_height)(add)(int 6) )(divide)(int 2)
+
+# Chiro, c2
+(title_height + 6)/2+1=( (str title_height)(add)(int 6) )(divide)(int 2)(add)(int 1)
+
+# Esco
+(width - (ButtonIPad + 1) * 2) * 0.67=( (str width)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -687194767)
+
+# AgingGorilla, Crux, Gorilla, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Sandwish, Soft Squares, Tactile, ThinMC
+(width - object_width) / 2=( (str width)(subtract)(str object_width) )(divide)(int 2)
+
+# Crux, Sandwish
+(width - title_width - height / 2 - 32 - 7) `max` 0=( (str width)(subtract)(str title_width)(subtract)(str height)(divide)(int 2)(subtract)(int 32)(subtract)(int 7) )(max)(int 0)
+
+# Crux
+(width - title_width - left_width - ButtonWidth - IconTitleSpacing - CenterTitlePieceWidth * height / 22 - right_width) `max` (3 * ButtonWidth)=( (str width)(subtract)(str title_width)(subtract)(str left_width)(subtract)(str ButtonWidth)(subtract)(str IconTitleSpacing)(subtract)(str CenterTitlePieceWidth)(multiply)(str height)(divide)(int 22)(subtract)(str right_width) )(max)( (int 3)(multiply)(str ButtonWidth) )
+
+# Sandwish
+(width - title_width - left_width - ButtonWidth - IconTitleSpacing - right_width) `max` (3 * ButtonWidth)=( (str width)(subtract)(str title_width)(subtract)(str left_width)(subtract)(str ButtonWidth)(subtract)(str IconTitleSpacing)(subtract)(str right_width) )(max)( (int 3)(multiply)(str ButtonWidth) )
+
+# Agata, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Black, Firey 1.0, Firey Dark, Soft Squares, Tactile
+(width - title_width) / 2=( (str width)(subtract)(str title_width) )(divide)(int 2)
+
+# Agata, Black
+(width - title_width) / 2 +1=( (str width)(subtract)(str title_width) )(divide)(int 2)(add)(int 1)
+
+# Agata
+(width - title_width) / 2 -1=( (str width)(subtract)(str title_width) )(divide)(int 2)(subtract)(int 1)
+
+# Sandwish
+(width -183) `max` 0=( (str width)(subtract)(int 183) )(max)(int 0)
+
+# Graphite
+(width -title_width + 2) / 2=( (str width)(subtract)(str title_width)(add)(int 2) )(divide)(int 2)
+
+# Graphite
+(width -title_width) / 2=( (str width)(subtract)(str title_width) )(divide)(int 2)
+
+# Carved2
+(width / 2) + 3=( (str width)(divide)(int 2) )(add)(int 3)
+
+# Carved2
+(width / 2) - 3=( (str width)(divide)(int 2) )(subtract)(int 3)
+
+# Atlanta
+(width-(ArrowSpacer*2)) `max` MinArrowSize=( (str width)(subtract)( (str ArrowSpacer)(multiply)(int 2) ) )(max)(str MinArrowSize)
+
+# Clearlooks-2.0-blend, Gilouche, GiloucheIM, TangoDance
+(width-10)/2=( (str width)(subtract)(int 10) )(divide)(int 2)
+
+# boxx
+(width-18-title_width-18)/18*18+9=( (str width)(subtract)(int 18)(subtract)(str title_width)(subtract)(int 18) )(divide)(int 18)(multiply)(int 18)(add)(int 9)
+
+# Metabox
+(width-ButtonIPad)/2+1=( (str width)(subtract)(str ButtonIPad) )(divide)(int 2)(add)(int 1)
+
+# Clearlooks-RedExit, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Mista
+(width-mini_icon_width)/2=( (str width)(subtract)(str mini_icon_width) )(divide)(int 2)
+
+# Aquarius, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, TangoDance, Vista Basic
+(width-mini_icon_width)/2-2=( (str width)(subtract)(str mini_icon_width) )(divide)(int 2)(subtract)(int 2)
+
+# MWM
+(width-title_width)/2 `max` 10=( (str width)(subtract)(str title_width) )(divide)(int 2)(max)(int 10)
+
+# 4DWM, Agata, AgingGorilla, Almond, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Black, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Correcamins, Crux, EasyListening, Esco, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Gorilla, Graphite, MWM, Maemo, MetaGrip, Metabox, Mista, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Sandwish, Shiny, Shiny-Tango, Silverado, Simple, Simplebox, Sloth , SmoothGNOME, Soft Squares, Tactile, TangoDance, Tetelestai-Modern, ThinMC, Vista Basic, W2k, boxx, c2, pOS, sky, sky-blue
+0={0==}(int 0)
+
+# Esco
+0 - 25={-25==}(int 0)(subtract)(int 25)
+
+# Clearbox-look-2
+0 `max` ((height-title_height)/2)=(int 0)(max)( ( (str height)(subtract)(str title_height) )(divide)(int 2) )
+
+# Bentham
+0 `max` ((width-title_width)) / 2 - height=(int 0)(max)( ( (str width)(subtract)(str title_width) ) )(divide)(int 2)(subtract)(str height)
+
+# Vista Basic
+0+1={1==}(int 0)(add)(int 1)
+
+# Vista Basic
+0+2={2==}(int 0)(add)(int 2)
+
+# Amiga
+0.125 * height=(double 0)(multiply)(str height)
+
+# Amiga
+0.125 * width=(double 0)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.25 * height=(double 0)(multiply)(str height)
+
+# Amiga, AmigaRelief
+0.25 * width=(double 0)(multiply)(str width)
+
+# AmigaRelief
+0.3 * height=(double 858993459)(multiply)(str height)
+
+# AmigaRelief
+0.3 * width=(double 858993459)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.35 * height=(double 1717986918)(multiply)(str height)
+
+# Amiga, AmigaRelief
+0.35 * width=(double 1717986918)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.375 * height=(double 0)(multiply)(str height)
+
+# Amiga, AmigaRelief
+0.375 * width=(double 0)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.4 * height=(double -1717986918)(multiply)(str height)
+
+# Amiga, AmigaRelief
+0.4 * width=(double -1717986918)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.5 * height=(double 0)(multiply)(str height)
+
+# Amiga, AmigaRelief
+0.5 * width=(double 0)(multiply)(str width)
+
+# Amiga, AmigaRelief
+0.525 * height=(double -858993459)(multiply)(str height)
+
+# AmigaRelief
+0.525 * width=(double -858993459)(multiply)(str width)
+
+# AmigaRelief
+0.6 * height=(double 858993459)(multiply)(str height)
+
+# AmigaRelief
+0.6 * width=(double 858993459)(multiply)(str width)
+
+# AmigaRelief
+0.625 * height=(double 0)(multiply)(str height)
+
+# AmigaRelief
+0.625 * width=(double 0)(multiply)(str width)
+
+# AmigaRelief
+0.65 * height=(double -858993459)(multiply)(str height)
+
+# AmigaRelief
+0.7 * height=(double 1717986918)(multiply)(str height)
+
+# AmigaRelief
+0.7 * width=(double 1717986918)(multiply)(str width)
+
+# AmigaRelief
+0.75 * height=(double 0)(multiply)(str height)
+
+# AmigaRelief
+0.75 * width=(double 0)(multiply)(str width)
+
+# 4DWM, AgingGorilla, Almond, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, Esco, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Gorilla, MWM, Maemo, MetaGrip, Metabox, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Shiny, Shiny-Tango, Silverado, Simple, Simplebox, SmoothGNOME, Soft Squares, Tactile, TangoDance, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+1={1==}(int 1)
+
+# Clearbox-look-2
+1 `max` ((height-title_height)/2)+1=(int 1)(max)( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(add)(int 1)
+
+# Almond, MetaGrip, Shiny, Shiny-Tango
+1 `max` ((height-title_height)/2)-1=(int 1)(max)( ( (str height)(subtract)(str title_height) )(divide)(int 2) )(subtract)(int 1)
+
+# Agata, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Amiga, AmigaRelief, Black, Clearlooks-2.0-blend, Gilouche, GiloucheIM, Maemo, Outcrop, Shiny, Shiny-Tango, Sloth , TangoDance, pOS, sky, sky-blue
+10={10==}(int 10)
+
+# MetaGrip
+1024={1024==}(int 1024)
+
+# MetaGrip, Shiny, Shiny-Tango
+11={11==}(int 11)
+
+# Almond, Shiny, Shiny-Tango
+12={12==}(int 12)
+
+# Shiny
+13={13==}(int 13)
+
+# Almond, Sloth 
+14={14==}(int 14)
+
+# sky, sky-blue
+15={15==}(int 15)
+
+# Almond, Graphite, Maemo, MetaGrip, Shiny, Shiny-Tango, sky, sky-blue
+16={16==}(int 16)
+
+# boxx
+1600={1600==}(int 1600)
+
+# Agata, Maemo, boxx
+17={17==}(int 17)
+
+# EasyListening, MetaGrip, Shiny, Shiny-Tango, boxx
+19={19==}(int 19)
+
+# 4DWM, AgingGorilla, Almond, Amiga, AmigaRelief, Aquarius, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, EasyListening, Esco, Gilouche, GiloucheIM, Gorilla, MWM, Maemo, Mista, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, River, Sandwish, Shiny, Shiny-Tango, Silverado, Simple, Simplebox, Sloth , SmoothGNOME, Tactile, TangoDance, Tetelestai-Modern, ThinMC, Vista Basic, boxx, c2, pOS
+2={2==}(int 2)
+
+# Redmond
+2 + ButtonIPad=(int 2)(add)(str ButtonIPad)
+
+# Shiny, Shiny-Tango
+2 `max` ((height-title_height)/2)=(int 2)(max)( ( (str height)(subtract)(str title_height) )(divide)(int 2) )
+
+# Firey 1.0, Firey Dark, Maemo, MetaGrip, Shiny, Shiny-Tango
+20={20==}(int 20)
+
+# Shiny, Shiny-Tango
+21={21==}(int 21)
+
+# Soft Squares
+22={22==}(int 22)
+
+# Graphite, MetaGrip, Shiny, Shiny-Tango, sky, sky-blue
+23={23==}(int 23)
+
+# Almond, Maemo, Shiny, Shiny-Tango
+24={24==}(int 24)
+
+# Agata
+25={25==}(int 25)
+
+# 4DWM, AgingGorilla, Amiga, AmigaRelief, Aquarius, Bright, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, EasyListening, Esco, Gilouche, GiloucheIM, Gorilla, Maemo, MetaGrip, Mista, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Sandwish, Shiny, Shiny-Tango, Sloth , SmoothGNOME, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+3={3==}(int 3)
+
+# Atlanta, Bright, Metabox, Redmond, Simple, SmoothGNOME, Tetelestai-Modern
+3 + ButtonIPad=(int 3)(add)(str ButtonIPad)
+
+# SmoothGNOME
+3 + ButtonIPad+1=(int 3)(add)(str ButtonIPad)(add)(int 1)
+
+# Chiro, Maemo, SmoothGNOME
+32={32==}(int 32)
+
+# Outcrop
+36={36==}(int 36)
+
+# Graphite
+39={39==}(int 39)
+
+# 4DWM, Agata, AgingGorilla, Almond, Amiga, AmigaRelief, Aquarius, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, EasyListening, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Gorilla, MWM, Maemo, MetaGrip, Redmond, River, Sandwish, Silverado, Simplebox, Sloth , SmoothGNOME, W2k, boxx, c2, pOS
+4={4==}(int 4)
+
+# Clearbox-look-2
+4 `max` (width-title_width)/2=(int 4)(max)( (str width)(subtract)(str title_width) )(divide)(int 2)
+
+# sky, sky-blue
+40={40==}(int 40)
+
+# TangoDance
+48={48==}(int 48)
+
+# 4DWM, AgingGorilla, Almond, AmigaRelief, Aquarius, Black, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Correcamins, Crux, Gorilla, MWM, MetaGrip, Outcrop, Redmond, Sandwish, Shiny, Shiny-Tango, Simplebox, Sloth , Tactile, ThinMC, Vista Basic, pOS
+5={5==}(int 5)
+
+# Almond, Clearbox-look-2, MetaGrip, Shiny, Shiny-Tango
+5 `max` (width-title_width)/2+1=(int 5)(max)( (str width)(subtract)(str title_width) )(divide)(int 2)(add)(int 1)
+
+# 4DWM, AgingGorilla, Clearbox-in, Clearbox-out, Clearlooks-RedExit, Firey 1.0, Firey Dark, Gorilla, Graphite, MWM, Maemo, Outcrop, Simplebox, Soft Squares, Vista Basic, pOS
+6={6==}(int 6)
+
+# Shiny, Shiny-Tango
+6 `max` (width-title_width)/2+2=(int 6)(max)( (str width)(subtract)(str title_width) )(divide)(int 2)(add)(int 2)
+
+# 4DWM, Almond, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Clearbox-in, Clearbox-out, MWM, MetaGrip, Outcrop, Shiny, Shiny-Tango, Simplebox, pOS
+7={7==}(int 7)
+
+# 4DWM, AgingGorilla, Almond, Clearlooks-RedExit, Gorilla, Maemo, Outcrop, Shiny, Sloth , Tactile, pOS
+8={8==}(int 8)
+
+# Clearlooks-RedExit
+8 + top_height - 16=(int 8)(add)(str top_height)(subtract)(int 16)
+
+# Vista Basic
+87={87==}(int 87)
+
+# Clearbox-in, Clearbox-out, Outcrop, Shiny, Shiny-Tango, Simplebox, Vista Basic, pOS, sky, sky-blue
+9={9==}(int 9)
+
+# Atlanta
+ArrowSpacer `min` (height-MinArrowSize)/2=(str ArrowSpacer)(min)( (str height)(subtract)(str MinArrowSize) )(divide)(int 2)
+
+# Atlanta
+ArrowSpacer `min` (width-MinArrowSize)/2=(str ArrowSpacer)(min)( (str width)(subtract)(str MinArrowSize) )(divide)(int 2)
+
+# Atlanta, Bright, Carved2, Chiro, Esco, Metabox, Redmond, River, Simple, SmoothGNOME, Tetelestai-Modern, c2
+ButtonIPad=(str ButtonIPad)
+
+# Esco
+ButtonIPad + (height - (ButtonIPad + 1) * 2) * 0.33=(str ButtonIPad)(add)( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double 1374389535)
+
+# Esco
+ButtonIPad + (height - (ButtonIPad + 1) * 2) * 0.33 + 1=(str ButtonIPad)(add)( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double 1374389535)(add)(int 1)
+
+# Esco
+ButtonIPad + (width - (ButtonIPad + 1) * 2) * 0.33=(str ButtonIPad)(add)( (str width)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double 1374389535)
+
+# Esco
+ButtonIPad + (width - (ButtonIPad + 1) * 2) * 0.33 + 1=(str ButtonIPad)(add)( (str width)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double 1374389535)(add)(int 1)
+
+# Carved2, Chiro, Esco, River, c2
+ButtonIPad + 1=(str ButtonIPad)(add)(int 1)
+
+# Esco
+ButtonIPad + 1 + 1=(str ButtonIPad)(add)(int 1)(add)(int 1)
+
+# Chiro, River, c2
+ButtonIPad + 2=(str ButtonIPad)(add)(int 2)
+
+# Chiro, River, c2
+ButtonIPad + 3=(str ButtonIPad)(add)(int 3)
+
+# Carved2, Chiro, Esco, Metabox, Redmond, River, Simple, Tetelestai-Modern, c2
+ButtonIPad - 1=(str ButtonIPad)(subtract)(int 1)
+
+# Esco
+ButtonIPad - 1 + 1=(str ButtonIPad)(subtract)(int 1)(add)(int 1)
+
+# Atlanta, Bright, Chiro, Metabox, Redmond, Simple, SmoothGNOME, Tetelestai-Modern, c2
+ButtonIPad+1=(str ButtonIPad)(add)(int 1)
+
+# Simple
+ButtonIPad+2=(str ButtonIPad)(add)(int 2)
+
+# Redmond, SmoothGNOME
+ButtonIPad-1=(str ButtonIPad)(subtract)(int 1)
+
+# Clearbox-look-2
+ButtonPad=(str ButtonPad)
+
+# Clearbox-look-2
+ButtonPad+(height-ButtonPad)/6=(str ButtonPad)(add)( (str height)(subtract)(str ButtonPad) )(divide)(int 6)
+
+# Clearbox-look-2
+ButtonPad+(height-ButtonPad)/6-1=(str ButtonPad)(add)( (str height)(subtract)(str ButtonPad) )(divide)(int 6)(subtract)(int 1)
+
+# Clearbox-look-2
+ButtonPad+1=(str ButtonPad)(add)(int 1)
+
+# Clearbox-look-2
+ButtonPad+2=(str ButtonPad)(add)(int 2)
+
+# Clearbox-look-2
+ButtonPad+3=(str ButtonPad)(add)(int 3)
+
+# Clearbox-look-2
+ButtonPad-1=(str ButtonPad)(subtract)(int 1)
+
+# Clearbox-look-2
+ButtonPad-2=(str ButtonPad)(subtract)(int 2)
+
+# Mista
+CaptionStart=(str CaptionStart)
+
+# AgingGorilla, Crux, Gorilla, Sandwish
+IconTitleSpacing=(str IconTitleSpacing)
+
+# Clearbox-look-2
+PrelightPad=(str PrelightPad)
+
+# Clearbox-look-2
+PrelightPad+(height-PrelightPad)/6=(str PrelightPad)(add)( (str height)(subtract)(str PrelightPad) )(divide)(int 6)
+
+# Clearbox-look-2
+PrelightPad+(height-PrelightPad)/6-1=(str PrelightPad)(add)( (str height)(subtract)(str PrelightPad) )(divide)(int 6)(subtract)(int 1)
+
+# Clearbox-look-2
+PrelightPad+1=(str PrelightPad)(add)(int 1)
+
+# Clearbox-look-2
+PrelightPad+2=(str PrelightPad)(add)(int 2)
+
+# Clearbox-look-2
+PrelightPad+3=(str PrelightPad)(add)(int 3)
+
+# Clearbox-look-2
+PrelightPad-1=(str PrelightPad)(subtract)(int 1)
+
+# Clearbox-look-2
+PrelightPad-2=(str PrelightPad)(subtract)(int 2)
+
+# Carved2
+ResizerWidth=(str ResizerWidth)
+
+# Carved2
+ResizerWidth + 1=(str ResizerWidth)(add)(int 1)
+
+# Mista
+TitlebarPad=(str TitlebarPad)
+
+# Silverado
+bottom_height=(str bottom_height)
+
+# Carved2
+bottom_height - 3=(str bottom_height)(subtract)(int 3)
+
+# Carved2
+bottom_height - 4=(str bottom_height)(subtract)(int 4)
+
+# MWM, Tetelestai-Modern
+bottom_height-1=(str bottom_height)(subtract)(int 1)
+
+# 4DWM
+bottom_height-2=(str bottom_height)(subtract)(int 2)
+
+# 4DWM
+bottom_height-4=(str bottom_height)(subtract)(int 4)
+
+# 4DWM, Agata, AgingGorilla, Almond, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Amiga, Atlanta, Black, Bright, Carved2, Chiro, Clearbox-in, Clearbox-out, Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Correcamins, Crux, EasyListening, Esco, Firey 1.0, Firey Dark, Gorilla, Graphite, MWM, Maemo, MetaGrip, Metabox, Mista, Outcrop, Redmond, River, Sandwish, Shiny, Shiny-Tango, Silverado, Simple, Simplebox, SmoothGNOME, Soft Squares, Tactile, TangoDance, Tetelestai-Modern, ThinMC, Vista Basic, W2k, boxx, c2, sky, sky-blue
+height=(str height)
+
+# Esco
+height + 25=(str height)(add)(int 25)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height - ((height-(Bmin`max`height-Bpad*2))/2)=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height - ((height-(Bmin`max`height-Bpad*2))/2) - 1=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height - ((height-(Bmin`max`height-Bpad*2))/2) - 2=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height - ((height-(Bmin`max`height-Bpad*2))/2)-1=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Esco
+height - (ButtonIPad + 1) * 2=(str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2)
+
+# AgingGorilla, Aquarius, Carved2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Gilouche, GiloucheIM, Gorilla, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Simple, SmoothGNOME, TangoDance
+height - 1=(str height)(subtract)(int 1)
+
+# Esco
+height - 1 - ButtonIPad - 1=(str height)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Esco
+height - 1 - ButtonIPad - 1 + 1=(str height)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)(add)(int 1)
+
+# Esco
+height - 1 - ButtonIPad - 1 - 1=(str height)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)
+
+# Esco
+height - 1 - ButtonIPad - 1 - 1 + 1=(str height)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)(add)(int 1)
+
+# AgingGorilla, Gorilla
+height - 10=(str height)(subtract)(int 10)
+
+# AgingGorilla, Gorilla
+height - 12=(str height)(subtract)(int 12)
+
+# AgingGorilla, Gorilla
+height - 14=(str height)(subtract)(int 14)
+
+# AgingGorilla, Aquarius, Carved2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Gorilla, Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2, Redmond, River, Simple, SmoothGNOME
+height - 2=(str height)(subtract)(int 2)
+
+# Esco, Gilouche, GiloucheIM, SmoothGNOME, TangoDance
+height - 3=(str height)(subtract)(int 3)
+
+# Crux, Sandwish, SmoothGNOME
+height - 4=(str height)(subtract)(int 4)
+
+# Atlanta, Bright, Simple
+height - 5 - ButtonIPad=(str height)(subtract)(int 5)(subtract)(str ButtonIPad)
+
+# AgingGorilla, Esco, Gorilla
+height - 7=(str height)(subtract)(int 7)
+
+# Metabox, Redmond, SmoothGNOME, Tetelestai-Modern
+height - 7 - ButtonIPad=(str height)(subtract)(int 7)(subtract)(str ButtonIPad)
+
+# AgingGorilla, Gorilla
+height - 8=(str height)(subtract)(int 8)
+
+# Carved2, Chiro, Metabox, Redmond, River, Simple, SmoothGNOME, Tetelestai-Modern, c2
+height - ButtonIPad=(str height)(subtract)(str ButtonIPad)
+
+# Carved2, Simple
+height - ButtonIPad + 1=(str height)(subtract)(str ButtonIPad)(add)(int 1)
+
+# Esco
+height - ButtonIPad - ((height - (ButtonIPad + 1) * 2) * 0.4)=(str height)(subtract)(str ButtonIPad)(subtract)( ( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -1717986918) )
+
+# Esco
+height - ButtonIPad - ((height - (ButtonIPad + 1) * 2) * 0.4) - 1=(str height)(subtract)(str ButtonIPad)(subtract)( ( (str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2) )(multiply)(double -1717986918) )(subtract)(int 1)
+
+# Atlanta, Carved2, Esco, Metabox, Redmond, SmoothGNOME, Tetelestai-Modern
+height - ButtonIPad - 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Esco
+height - ButtonIPad - 1 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 1)(add)(int 1)
+
+# Esco
+height - ButtonIPad - 1 - 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)
+
+# Esco
+height - ButtonIPad - 1 - 1 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)(add)(int 1)
+
+# Bright, Chiro, Esco, Redmond, River, SmoothGNOME, c2
+height - ButtonIPad - 2=(str height)(subtract)(str ButtonIPad)(subtract)(int 2)
+
+# Esco
+height - ButtonIPad - 2 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 2)(add)(int 1)
+
+# Esco
+height - ButtonIPad - 3=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)
+
+# Esco
+height - ButtonIPad - 3 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)(add)(int 1)
+
+# Esco
+height - ButtonIPad - 3 - 4=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)(subtract)(int 4)
+
+# Esco
+height - ButtonIPad - 3 - 4 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)(subtract)(int 4)(add)(int 1)
+
+# Esco
+height - ButtonIPad - 3 - 5=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)(subtract)(int 5)
+
+# Esco
+height - ButtonIPad - 3 - 5 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 3)(subtract)(int 5)(add)(int 1)
+
+# Metabox, Tetelestai-Modern
+height - ButtonIPad - 4=(str height)(subtract)(str ButtonIPad)(subtract)(int 4)
+
+# Esco
+height - ButtonIPad - 5=(str height)(subtract)(str ButtonIPad)(subtract)(int 5)
+
+# Esco
+height - ButtonIPad - 5 + 1=(str height)(subtract)(str ButtonIPad)(subtract)(int 5)(add)(int 1)
+
+# Atlanta, Bright, Metabox, Redmond, SmoothGNOME, Tetelestai-Modern
+height - ButtonIPad - ThickLineWidth + 1=(str height)(subtract)(str ButtonIPad)(subtract)(str ThickLineWidth)(add)(int 1)
+
+# Simple
+height - ButtonIPad - ThickLineWidth + 3=(str height)(subtract)(str ButtonIPad)(subtract)(str ThickLineWidth)(add)(int 3)
+
+# Chiro, River, c2
+height - ButtonIPad-1=(str height)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Quiet-Environment, Quiet-Graphite, Quiet-Human, Quiet-Purple-2K6
+height - height / 4=(str height)(subtract)(str height)(divide)(int 4)
+
+# Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2
+height - height / 4 + 2=(str height)(subtract)(str height)(divide)(int 4)(add)(int 2)
+
+# Crux, Maemo, Sandwish
+height - object_height=(str height)(subtract)(str object_height)
+
+# Esco
+height - top_height - bottom_height + 1=(str height)(subtract)(str top_height)(subtract)(str bottom_height)(add)(int 1)
+
+# Esco
+height - top_height - bottom_height - 1=(str height)(subtract)(str top_height)(subtract)(str bottom_height)(subtract)(int 1)
+
+# Aquarius, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, TangoDance
+height / 2=(str height)(divide)(int 2)
+
+# TangoDance
+height / 2 - 1=(str height)(divide)(int 2)(subtract)(int 1)
+
+# TangoDance
+height / 2 - 2=(str height)(divide)(int 2)(subtract)(int 2)
+
+# Aquarius, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, TangoDance
+height / 2 - 3=(str height)(divide)(int 2)(subtract)(int 3)
+
+# Aquarius, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height / 2 - 4=(str height)(divide)(int 2)(subtract)(int 4)
+
+# Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2
+height / 3=(str height)(divide)(int 3)
+
+# Quiet-Environment, Quiet-Graphite, Quiet-Human, Quiet-Purple-2K6
+height / 4=(str height)(divide)(int 4)
+
+# Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2
+height / 4 + 2=(str height)(divide)(int 4)(add)(int 2)
+
+# Outcrop
+height /2=(str height)(divide)(int 2)
+
+# Outcrop
+height /2 +1=(str height)(divide)(int 2)(add)(int 1)
+
+# Outcrop
+height /2 +2=(str height)(divide)(int 2)(add)(int 2)
+
+# Outcrop
+height /2 -1=(str height)(divide)(int 2)(subtract)(int 1)
+
+# Bentham
+height `max` ((width-title_width)) / 2=(str height)(max)( ( (str width)(subtract)(str title_width) ) )(divide)(int 2)
+
+# Mista
+height `min` object_height=(str height)(min)(str object_height)
+
+# Sloth 
+height+1=(str height)(add)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height-((height-(Bmin`max`height-Bpad*2))/2)*2-1=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(multiply)(int 2)(subtract)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+height-((height-(Bmin`max`height-Bpad*2))/2)*2-3=(str height)(subtract)( ( (str height)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(multiply)(int 2)(subtract)(int 3)
+
+# 4DWM
+height-(2 * right_width - 1)=(str height)(subtract)( (int 2)(multiply)(str right_width)(subtract)(int 1) )
+
+# Chiro, c2
+height-(ButtonIPad+1)*2-1=(str height)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2)(subtract)(int 1)
+
+# 4DWM
+height-(right_width-1)=(str height)(subtract)( (str right_width)(subtract)(int 1) )
+
+# 4DWM
+height-(right_width-2)=(str height)(subtract)( (str right_width)(subtract)(int 2) )
+
+# 4DWM, Almond, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Bright, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, MWM, MetaGrip, Metabox, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Simple, Simplebox, Sloth , SmoothGNOME, Tactile, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+height-1=(str height)(subtract)(int 1)
+
+# pOS
+height-11=(str height)(subtract)(int 11)
+
+# 4DWM, AmigaRelief, Aquarius, Atlanta, Bentham, Bright, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, Gilouche, GiloucheIM, MWM, Metabox, Outcrop, River, Shiny, Shiny-Tango, Silverado, Simple, SmoothGNOME, Tactile, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+height-2=(str height)(subtract)(int 2)
+
+# Shiny, Shiny-Tango
+height-21=(str height)(subtract)(int 21)
+
+# Soft Squares, Tactile
+height-23=(str height)(subtract)(int 23)
+
+# Maemo
+height-25=(str height)(subtract)(int 25)
+
+# Maemo
+height-26=(str height)(subtract)(int 26)
+
+# Maemo, Shiny, Shiny-Tango
+height-29=(str height)(subtract)(int 29)
+
+# 4DWM, Aquarius, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Gilouche, GiloucheIM, MWM, Outcrop, River, Simple, Simplebox, SmoothGNOME, Tactile, Tetelestai-Modern, W2k, c2
+height-3=(str height)(subtract)(int 3)
+
+# 4DWM, Amiga, AmigaRelief, Aquarius, Bright, Carved2, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, Maemo, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, River, Sandwish, SmoothGNOME, Tetelestai-Modern, W2k, c2, pOS
+height-4=(str height)(subtract)(int 4)
+
+# 4DWM, Almond, Amiga, AmigaRelief, Aquarius, Carved2, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, MWM, River, SmoothGNOME, Tetelestai-Modern, W2k, c2, pOS
+height-5=(str height)(subtract)(int 5)
+
+# 4DWM, AmigaRelief, Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, EasyListening, MWM, pOS
+height-6=(str height)(subtract)(int 6)
+
+# 4DWM, MWM, Shiny, Shiny-Tango, pOS
+height-7=(str height)(subtract)(int 7)
+
+# 4DWM, pOS
+height-8=(str height)(subtract)(int 8)
+
+# Almond, Outcrop, pOS
+height-9=(str height)(subtract)(int 9)
+
+# Carved2
+height-ButtonIPad*2=(str height)(subtract)(str ButtonIPad)(multiply)(int 2)
+
+# Simple
+height-ButtonIPad*2 + 1=(str height)(subtract)(str ButtonIPad)(multiply)(int 2)(add)(int 1)
+
+# Atlanta, Chiro, Metabox, Redmond, River, SmoothGNOME, Tetelestai-Modern, c2
+height-ButtonIPad*2-1=(str height)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 1)
+
+# Bright
+height-ButtonIPad*2-2=(str height)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 2)
+
+# Chiro, River, c2
+height-ButtonIPad*2-5=(str height)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 5)
+
+# Clearbox-look-2
+height-ButtonPad=(str height)(subtract)(str ButtonPad)
+
+# Clearbox-look-2
+height-ButtonPad*2+1=(str height)(subtract)(str ButtonPad)(multiply)(int 2)(add)(int 1)
+
+# Clearbox-look-2
+height-ButtonPad*2-2=(str height)(subtract)(str ButtonPad)(multiply)(int 2)(subtract)(int 2)
+
+# Clearbox-look-2
+height-ButtonPad+1=(str height)(subtract)(str ButtonPad)(add)(int 1)
+
+# Clearbox-look-2
+height-ButtonPad-1=(str height)(subtract)(str ButtonPad)(subtract)(int 1)
+
+# Clearbox-look-2
+height-ButtonPad-2=(str height)(subtract)(str ButtonPad)(subtract)(int 2)
+
+# Clearbox-look-2
+height-PrelightPad=(str height)(subtract)(str PrelightPad)
+
+# Clearbox-look-2
+height-PrelightPad*2+1=(str height)(subtract)(str PrelightPad)(multiply)(int 2)(add)(int 1)
+
+# Clearbox-look-2
+height-PrelightPad*2-2=(str height)(subtract)(str PrelightPad)(multiply)(int 2)(subtract)(int 2)
+
+# Clearbox-look-2
+height-PrelightPad+1=(str height)(subtract)(str PrelightPad)(add)(int 1)
+
+# Clearbox-look-2
+height-PrelightPad-1=(str height)(subtract)(str PrelightPad)(subtract)(int 1)
+
+# Clearbox-look-2
+height-PrelightPad-2=(str height)(subtract)(str PrelightPad)(subtract)(int 2)
+
+# Chiro, Gilouche, GiloucheIM, SmoothGNOME, Tetelestai-Modern
+height-bottom_height=(str height)(subtract)(str bottom_height)
+
+# Carved2
+height-bottom_height + 1=(str height)(subtract)(str bottom_height)(add)(int 1)
+
+# Carved2
+height-bottom_height + 2=(str height)(subtract)(str bottom_height)(add)(int 2)
+
+# 4DWM, MWM
+height-bottom_height+1=(str height)(subtract)(str bottom_height)(add)(int 1)
+
+# Gilouche, GiloucheIM
+height-bottom_height-top_height=(str height)(subtract)(str bottom_height)(subtract)(str top_height)
+
+# 4DWM
+height-bottom_height/2=(str height)(subtract)(str bottom_height)(divide)(int 2)
+
+# Mista
+height-object_height=(str height)(subtract)(str object_height)
+
+# 4DWM, MWM
+height-right_width=(str height)(subtract)(str right_width)
+
+# MWM
+height-right_width-1=(str height)(subtract)(str right_width)(subtract)(int 1)
+
+# c2
+height-title_height=(str height)(subtract)(str title_height)
+
+# Chiro, SmoothGNOME
+height-title_height-38=(str height)(subtract)(str title_height)(subtract)(int 38)
+
+# Amiga, AmigaRelief, c2, pOS
+height-title_height-6=(str height)(subtract)(str title_height)(subtract)(int 6)
+
+# 4DWM, MWM
+height-top_height=(str height)(subtract)(str top_height)
+
+# 4DWM
+height-top_height+1=(str height)(subtract)(str top_height)(add)(int 1)
+
+# 4DWM, MWM, Tactile
+height-top_height-1=(str height)(subtract)(str top_height)(subtract)(int 1)
+
+# 4DWM
+height-top_height-2=(str height)(subtract)(str top_height)(subtract)(int 2)
+
+# Atlanta, Bright, Metabox, Simple, SmoothGNOME, TangoDance, Tetelestai-Modern
+height-top_height-bottom_height+1=(str height)(subtract)(str top_height)(subtract)(str bottom_height)(add)(int 1)
+
+# Sloth 
+height/1.5=(str height)(divide)(double 0)
+
+# 4DWM, Aquarius, Bentham, Clearbox-in, Clearbox-out, MWM, Simplebox, Sloth , Tetelestai-Modern
+height/2=(str height)(divide)(int 2)
+
+# Bentham
+height/2 + height/4 - 1=(str height)(divide)(int 2)(add)(str height)(divide)(int 4)(subtract)(int 1)
+
+# Bentham
+height/2 + height/4 - 2=(str height)(divide)(int 2)(add)(str height)(divide)(int 4)(subtract)(int 2)
+
+# Bentham
+height/2 - height/4=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 4)
+
+# Bentham
+height/2 - height/4 + 1=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 4)(add)(int 1)
+
+# Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2
+height/2 - width/2=(str height)(divide)(int 2)(subtract)(str width)(divide)(int 2)
+
+# Amiga, AmigaRelief
+height/2 - width/2 + 2=(str height)(divide)(int 2)(subtract)(str width)(divide)(int 2)(add)(int 2)
+
+# Clearbox-look-2
+height/2+(height-ButtonPad)/6+1=(str height)(divide)(int 2)(add)( (str height)(subtract)(str ButtonPad) )(divide)(int 6)(add)(int 1)
+
+# Clearbox-look-2
+height/2+(height-PrelightPad)/6+1=(str height)(divide)(int 2)(add)( (str height)(subtract)(str PrelightPad) )(divide)(int 6)(add)(int 1)
+
+# 4DWM, Aquarius, Clearbox-in, Clearbox-out, Simplebox
+height/2+1=(str height)(divide)(int 2)(add)(int 1)
+
+# 4DWM, Clearbox-in, Clearbox-out, MWM, Simplebox
+height/2+2=(str height)(divide)(int 2)(add)(int 2)
+
+# 4DWM, Clearbox-in, Clearbox-out, Simplebox
+height/2+3=(str height)(divide)(int 2)(add)(int 3)
+
+# Clearbox-in, Clearbox-out, Simplebox
+height/2+4=(str height)(divide)(int 2)(add)(int 4)
+
+# Clearbox-in, Clearbox-out, Simplebox
+height/2+5=(str height)(divide)(int 2)(add)(int 5)
+
+# Clearbox-in, Clearbox-out, Simplebox
+height/2+6=(str height)(divide)(int 2)(add)(int 6)
+
+# Aquarius
+height/2+height/4=(str height)(divide)(int 2)(add)(str height)(divide)(int 4)
+
+# Aquarius
+height/2+height/4-1=(str height)(divide)(int 2)(add)(str height)(divide)(int 4)(subtract)(int 1)
+
+# Clearbox-in, Clearbox-out, MWM, Simplebox
+height/2-1=(str height)(divide)(int 2)(subtract)(int 1)
+
+# 4DWM, Aquarius, Clearbox-in, Clearbox-out, Simplebox
+height/2-2=(str height)(divide)(int 2)(subtract)(int 2)
+
+# Clearbox-in, Clearbox-out, Outcrop, Simplebox
+height/2-3=(str height)(divide)(int 2)(subtract)(int 3)
+
+# Clearbox-in, Clearbox-out, Outcrop, Simplebox
+height/2-4=(str height)(divide)(int 2)(subtract)(int 4)
+
+# Clearbox-in, Clearbox-out, Simplebox
+height/2-5=(str height)(divide)(int 2)(subtract)(int 5)
+
+# Aquarius
+height/2-5+(2`max`height/8)=(str height)(divide)(int 2)(subtract)(int 5)(add)( (int 2)(max)(str height)(divide)(int 8) )
+
+# Aquarius
+height/2-height/4=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 4)
+
+# Aquarius
+height/2-height/4+1=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 4)(add)(int 1)
+
+# Aquarius
+height/2-height/4+2=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 4)(add)(int 2)
+
+# Aquarius
+height/2-height/6+1=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 6)(add)(int 1)
+
+# Aquarius
+height/2-height/6+2=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 6)(add)(int 2)
+
+# Bentham
+height/2-height/8-1=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 8)(subtract)(int 1)
+
+# Bentham
+height/2-height/8-2=(str height)(divide)(int 2)(subtract)(str height)(divide)(int 8)(subtract)(int 2)
+
+# Aquarius
+height/3+1=(str height)(divide)(int 3)(add)(int 1)
+
+# Aquarius
+height/3-1=(str height)(divide)(int 3)(subtract)(int 1)
+
+# Aquarius
+height/3-3=(str height)(divide)(int 3)(subtract)(int 3)
+
+# Bentham
+height/4=(str height)(divide)(int 4)
+
+# Bentham
+height/4+2=(str height)(divide)(int 4)(add)(int 2)
+
+# 4DWM, Esco, Gilouche, GiloucheIM, MWM, Silverado
+left_width=(str left_width)
+
+# Esco
+left_width - 1=(str left_width)(subtract)(int 1)
+
+# 4DWM, Atlanta, Bright, Chiro, Gilouche, GiloucheIM, MWM, Metabox, Simple, SmoothGNOME, TangoDance, Tetelestai-Modern
+left_width-1=(str left_width)(subtract)(int 1)
+
+# 4DWM, Tetelestai-Modern
+left_width-2=(str left_width)(subtract)(int 2)
+
+# 4DWM
+left_width-3=(str left_width)(subtract)(int 3)
+
+# Aquarius, Atlanta, Clearlooks-2.0-blend, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Metabox, Mista, Outcrop, Silverado, TangoDance, Vista Basic, W2k
+mini_icon_height=(str mini_icon_height)
+
+# Bright
+mini_icon_height-1=(str mini_icon_height)(subtract)(int 1)
+
+# Aquarius, Atlanta, Clearlooks-2.0-blend, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Metabox, Mista, Outcrop, Silverado, Sloth , TangoDance, Vista Basic, W2k
+mini_icon_width=(str mini_icon_width)
+
+# Esco
+mini_icon_width + IconTitleSpacing=(str mini_icon_width)(add)(str IconTitleSpacing)
+
+# Bright
+mini_icon_width-1=(str mini_icon_width)(subtract)(int 1)
+
+# Agata, AgingGorilla, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Black, Correcamins, Crux, Firey 1.0, Firey Dark, Gorilla, Graphite, Maemo, Mista, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Sandwish, Soft Squares, Tactile, ThinMC, Vista Basic, boxx, sky, sky-blue
+object_height=(str object_height)
+
+# Maemo
+object_height+2=(str object_height)(add)(int 2)
+
+# Agata, AgingGorilla, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Black, Correcamins, Crux, Firey 1.0, Firey Dark, Gorilla, Graphite, Maemo, Mista, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Sandwish, Silverado, Soft Squares, Tactile, ThinMC, Vista Basic, W2k, sky, sky-blue
+object_width=(str object_width)
+
+# Crux
+object_width * height / 22=(str object_width)(multiply)(str height)(divide)(int 22)
+
+# Maemo
+object_width+2=(str object_width)(add)(int 2)
+
+# 4DWM, MWM, Silverado
+right_width=(str right_width)
+
+# 4DWM, MWM
+right_width-1=(str right_width)(subtract)(int 1)
+
+# 4DWM, Tetelestai-Modern
+right_width-2=(str right_width)(subtract)(int 2)
+
+# 4DWM
+right_width-3=(str right_width)(subtract)(int 3)
+
+# 4DWM
+right_width-4=(str right_width)(subtract)(int 4)
+
+# Gilouche, GiloucheIM
+title_height + 10=(str title_height)(add)(int 10)
+
+# TangoDance
+title_height + 12=(str title_height)(add)(int 12)
+
+# Clearlooks, Clearlooks-Pinstripe, River
+title_height + 3=(str title_height)(add)(int 3)
+
+# Chiro, SmoothGNOME
+title_height + 38=(str title_height)(add)(int 38)
+
+# Chiro, Gilouche, GiloucheIM, River, SmoothGNOME, TangoDance, c2
+title_height + 4=(str title_height)(add)(int 4)
+
+# Chiro, Clearlooks, Clearlooks-Pinstripe, Gilouche, GiloucheIM, River, SmoothGNOME, TangoDance, c2
+title_height + 5=(str title_height)(add)(int 5)
+
+# Clearlooks, Clearlooks-Pinstripe, SmoothGNOME, c2
+title_height + 6=(str title_height)(add)(int 6)
+
+# TangoDance
+title_height + 9=(str title_height)(add)(int 9)
+
+# Outcrop
+title_height +8=(str title_height)(add)(int 8)
+
+# Outcrop
+title_height -7=(str title_height)(subtract)(int 7)
+
+# TangoDance
+title_height / 2 - 5=(str title_height)(divide)(int 2)(subtract)(int 5)
+
+# Outcrop
+title_height /1.5=(str title_height)(divide)(double 0)
+
+# Outcrop
+title_height /2=(str title_height)(divide)(int 2)
+
+# Outcrop
+title_height /4=(str title_height)(divide)(int 4)
+
+# 4DWM
+title_height*2/3=(str title_height)(multiply)(int 2)(divide)(int 3)
+
+# AmigaRelief, pOS
+title_height+3=(str title_height)(add)(int 3)
+
+# Amiga, AmigaRelief, Clearbox-look-2, pOS
+title_height+4=(str title_height)(add)(int 4)
+
+# Amiga, AmigaRelief, pOS
+title_height+5=(str title_height)(add)(int 5)
+
+# Chiro, Outcrop, SmoothGNOME, c2
+title_height+6=(str title_height)(add)(int 6)
+
+# Outcrop
+title_height+7=(str title_height)(add)(int 7)
+
+# Outcrop
+title_height+8=(str title_height)(add)(int 8)
+
+# sky, sky-blue
+title_width + 16 `min` width - 14=(str title_width)(add)(int 16)(min)(str width)(subtract)(int 14)
+
+# sky, sky-blue
+title_width + 21 `min`  width - object_width=(str title_width)(add)(int 21)(min)(str width)(subtract)(str object_width)
+
+# sky, sky-blue
+title_width + 6=(str title_width)(add)(int 6)
+
+# Esco
+title_width + mini_icon_width + IconTitleSpacing * 3 - 1=(str title_width)(add)(str mini_icon_width)(add)(str IconTitleSpacing)(multiply)(int 3)(subtract)(int 1)
+
+# boxx
+title_width+15=(str title_width)(add)(int 15)
+
+# Maemo
+title_width+181=(str title_width)(add)(int 181)
+
+# Sandwish
+title_width+20=(str title_width)(add)(int 20)
+
+# Maemo
+title_width+32=(str title_width)(add)(int 32)
+
+# Maemo
+title_width+32+149=(str title_width)(add)(int 32)(add)(int 149)
+
+# boxx
+title_width-2=(str title_width)(subtract)(int 2)
+
+# Sandwish
+title_width/2+150=(str title_width)(divide)(int 2)(add)(int 150)
+
+# 4DWM, Chiro, Clearbox-in, Clearbox-out, Esco, MWM, Simplebox
+top_height=(str top_height)
+
+# Clearlooks-RedExit, Esco
+top_height - 1=(str top_height)(subtract)(int 1)
+
+# Clearlooks-RedExit
+top_height - 16=(str top_height)(subtract)(int 16)
+
+# Clearlooks-RedExit
+top_height - 2=(str top_height)(subtract)(int 2)
+
+# Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+top_height / 2=(str top_height)(divide)(int 2)
+
+# Aquarius
+top_height*2/5=(str top_height)(multiply)(int 2)(divide)(int 5)
+
+# Aquarius
+top_height*3/10=(str top_height)(multiply)(int 3)(divide)(int 10)
+
+# Aquarius
+top_height*3/5=(str top_height)(multiply)(int 3)(divide)(int 5)
+
+# Aquarius
+top_height*4/5=(str top_height)(multiply)(int 4)(divide)(int 5)
+
+# Aquarius
+top_height*7/10=(str top_height)(multiply)(int 7)(divide)(int 10)
+
+# Aquarius
+top_height*9/10=(str top_height)(multiply)(int 9)(divide)(int 10)
+
+# 4DWM
+top_height+1=(str top_height)(add)(int 1)
+
+# 4DWM, Aquarius, Atlanta, Bright, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Gilouche, GiloucheIM, MWM, Metabox, Simple, SmoothGNOME, Tactile, TangoDance, Tetelestai-Modern
+top_height-1=(str top_height)(subtract)(int 1)
+
+# 4DWM, Aquarius, Clearlooks-2.0-blend, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+top_height-2=(str top_height)(subtract)(int 2)
+
+# 4DWM
+top_height-3=(str top_height)(subtract)(int 3)
+
+# Aquarius
+top_height/10=(str top_height)(divide)(int 10)
+
+# Aquarius
+top_height/10+1=(str top_height)(divide)(int 10)(add)(int 1)
+
+# Aquarius
+top_height/2=(str top_height)(divide)(int 2)
+
+# Aquarius
+top_height/5=(str top_height)(divide)(int 5)
+
+# 4DWM, Agata, AgingGorilla, Almond, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Black, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Correcamins, Crux, EasyListening, Esco, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Gorilla, Graphite, MWM, MetaGrip, Metabox, Mista, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Sandwish, Shiny, Shiny-Tango, Silverado, Simple, Simplebox, SmoothGNOME, TangoDance, Tetelestai-Modern, ThinMC, Vista Basic, W2k, boxx, c2, pOS, sky, sky-blue
+width=(str width)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width - ((width-(Bmin`max`height-Bpad*2))/2)=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width - ((width-(Bmin`max`height-Bpad*2))/2) - 1=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Esco
+width - (ButtonIPad + 1) * 2=(str width)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2)
+
+# sky, sky-blue
+width - 0=(str width)(subtract)(int 0)
+
+# AgingGorilla, Aquarius, Carved2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Gilouche, GiloucheIM, Gorilla, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Simple, SmoothGNOME, Soft Squares, TangoDance
+width - 1=(str width)(subtract)(int 1)
+
+# Esco
+width - 1 - ButtonIPad=(str width)(subtract)(int 1)(subtract)(str ButtonIPad)
+
+# Esco
+width - 1 - ButtonIPad + 1=(str width)(subtract)(int 1)(subtract)(str ButtonIPad)(add)(int 1)
+
+# Esco
+width - 1 - ButtonIPad - 1=(str width)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Esco
+width - 1 - ButtonIPad - 1 + 1=(str width)(subtract)(int 1)(subtract)(str ButtonIPad)(subtract)(int 1)(add)(int 1)
+
+# Agata, Black, Correcamins
+width - 10=(str width)(subtract)(int 10)
+
+# AgingGorilla, Gorilla
+width - 11=(str width)(subtract)(int 11)
+
+# AgingGorilla, Almond, Gorilla, Graphite, sky, sky-blue
+width - 12=(str width)(subtract)(int 12)
+
+# AgingGorilla, Gorilla
+width - 13=(str width)(subtract)(int 13)
+
+# AgingGorilla, Gorilla
+width - 16=(str width)(subtract)(int 16)
+
+# AgingGorilla, Aquarius, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Esco, Gilouche, GiloucheIM, Gorilla, Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2, Redmond, River, Simple, SmoothGNOME, Soft Squares, TangoDance, ThinMC
+width - 2=(str width)(subtract)(int 2)
+
+# Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple
+width - 20=(str width)(subtract)(int 20)
+
+# Almond
+width - 24=(str width)(subtract)(int 24)
+
+# Graphite, sky, sky-blue
+width - 27=(str width)(subtract)(int 27)
+
+# Carved2, Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Gilouche, GiloucheIM, SmoothGNOME, TangoDance
+width - 3=(str width)(subtract)(int 3)
+
+# Aquarius, Carved2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, Firey 1.0, Firey Dark, Gilouche, GiloucheIM, Quiet-Environment-v2, Quiet-Graphite-v2, Quiet-Purple-2K6-v2, River, Sandwish, SmoothGNOME, Tactile, TangoDance
+width - 4=(str width)(subtract)(int 4)
+
+# Gilouche, GiloucheIM
+width - 5=(str width)(subtract)(int 5)
+
+# Atlanta, Bright, Simple
+width - 5 - ButtonIPad=(str width)(subtract)(int 5)(subtract)(str ButtonIPad)
+
+# Firey 1.0, Firey Dark, Tactile
+width - 6=(str width)(subtract)(int 6)
+
+# Agata, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Esco
+width - 7=(str width)(subtract)(int 7)
+
+# Metabox, Redmond, SmoothGNOME, Tetelestai-Modern
+width - 7 - ButtonIPad=(str width)(subtract)(int 7)(subtract)(str ButtonIPad)
+
+# AgingGorilla, Gorilla
+width - 8=(str width)(subtract)(int 8)
+
+# AgingGorilla, Gorilla
+width - 9=(str width)(subtract)(int 9)
+
+# Atlanta, Metabox, Redmond, SmoothGNOME, Tetelestai-Modern
+width - ButtonIPad=(str width)(subtract)(str ButtonIPad)
+
+# Simple
+width - ButtonIPad + 1=(str width)(subtract)(str ButtonIPad)(add)(int 1)
+
+# Atlanta, Esco, Redmond, SmoothGNOME, Tetelestai-Modern
+width - ButtonIPad - 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Esco
+width - ButtonIPad - 1 + 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)(add)(int 1)
+
+# Esco
+width - ButtonIPad - 1 - 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)
+
+# Esco
+width - ButtonIPad - 1 - 1 + 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)(subtract)(int 1)(add)(int 1)
+
+# Bright, Esco
+width - ButtonIPad - 2=(str width)(subtract)(str ButtonIPad)(subtract)(int 2)
+
+# Esco
+width - ButtonIPad - 2 + 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 2)(add)(int 1)
+
+# Esco, Metabox, Tetelestai-Modern
+width - ButtonIPad - 4=(str width)(subtract)(str ButtonIPad)(subtract)(int 4)
+
+# Esco
+width - ButtonIPad - 4 + 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 4)(add)(int 1)
+
+# Esco
+width - ButtonIPad - 5=(str width)(subtract)(str ButtonIPad)(subtract)(int 5)
+
+# Esco
+width - ButtonIPad - 5 + 1=(str width)(subtract)(str ButtonIPad)(subtract)(int 5)(add)(int 1)
+
+# Tetelestai-Modern
+width - ButtonIPad -2=(str width)(subtract)(str ButtonIPad)(subtract)(int 2)
+
+# Bright
+width - ButtonIPad-1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Carved2
+width - ResizerWidth - 1=(str width)(subtract)(str ResizerWidth)(subtract)(int 1)
+
+# Carved2
+width - ResizerWidth - 2=(str width)(subtract)(str ResizerWidth)(subtract)(int 2)
+
+# Esco
+width - left_width - right_width + 1=(str width)(subtract)(str left_width)(subtract)(str right_width)(add)(int 1)
+
+# Esco
+width - left_width - right_width - 1=(str width)(subtract)(str left_width)(subtract)(str right_width)(subtract)(int 1)
+
+# Esco
+width - mini_icon_width - IconTitleSpacing=(str width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing)
+
+# Agata, Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple, Black, Correcamins, Crux, Firey 1.0, Firey Dark, Graphite, Maemo, Sandwish, Silverado, Tactile, sky, sky-blue
+width - object_width=(str width)(subtract)(str object_width)
+
+# Esco
+width - title_width - IconTitleSpacing=(str width)(subtract)(str title_width)(subtract)(str IconTitleSpacing)
+
+# Esco
+width - title_width - IconTitleSpacing + 25 + 3=(str width)(subtract)(str title_width)(subtract)(str IconTitleSpacing)(add)(int 25)(add)(int 3)
+
+# Esco
+width - title_width - IconTitleSpacing + 25 - 1 + 3=(str width)(subtract)(str title_width)(subtract)(str IconTitleSpacing)(add)(int 25)(subtract)(int 1)(add)(int 3)
+
+# Esco
+width - title_width - IconTitleSpacing - height - 25 + 3=(str width)(subtract)(str title_width)(subtract)(str IconTitleSpacing)(subtract)(str height)(subtract)(int 25)(add)(int 3)
+
+# Esco
+width - title_width - IconTitleSpacing - height - 25 - 1 + 3=(str width)(subtract)(str title_width)(subtract)(str IconTitleSpacing)(subtract)(str height)(subtract)(int 25)(subtract)(int 1)(add)(int 3)
+
+# Esco
+width - title_width - height - (IconTitleSpacing * 2)=(str width)(subtract)(str title_width)(subtract)(str height)(subtract)( (str IconTitleSpacing)(multiply)(int 2) )
+
+# Esco
+width - title_width - mini_icon_width - (IconTitleSpacing * 2)=(str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)( (str IconTitleSpacing)(multiply)(int 2) )
+
+# Esco
+width - title_width - mini_icon_width - IconTitleSpacing * 3=(str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing)(multiply)(int 3)
+
+# Esco
+width - title_width - mini_icon_width - IconTitleSpacing * 3 - 18=(str width)(subtract)(str title_width)(subtract)(str mini_icon_width)(subtract)(str IconTitleSpacing)(multiply)(int 3)(subtract)(int 18)
+
+# Outcrop
+width -(width /3.6)=(str width)(subtract)( (str width)(divide)(double -858993459) )
+
+# Outcrop
+width -(width /3.6) +1=(str width)(subtract)( (str width)(divide)(double -858993459) )(add)(int 1)
+
+# Outcrop
+width -(width /3.6) +2=(str width)(subtract)( (str width)(divide)(double -858993459) )(add)(int 2)
+
+# Outcrop
+width -(width /3.6) -1=(str width)(subtract)( (str width)(divide)(double -858993459) )(subtract)(int 1)
+
+# Alphacube 0.9b Metacity Color, Alphacube 0.9b Metacity Light, Alphacube 0.9b Metacity Simple
+width -7=(str width)(subtract)(int 7)
+
+# Carved2
+width / 2=(str width)(divide)(int 2)
+
+# Outcrop
+width / 3.4=(str width)(divide)(double 858993459)
+
+# Outcrop
+width / 3.4 -1=(str width)(divide)(double 858993459)(subtract)(int 1)
+
+# Outcrop
+width /2=(str width)(divide)(int 2)
+
+# Outcrop
+width /2+1=(str width)(divide)(int 2)(add)(int 1)
+
+# Outcrop
+width /2-1=(str width)(divide)(int 2)(subtract)(int 1)
+
+# Outcrop
+width /2-2=(str width)(divide)(int 2)(subtract)(int 2)
+
+# Outcrop
+width /3.4 +1=(str width)(divide)(double 858993459)(add)(int 1)
+
+# Outcrop
+width /3.4 +2=(str width)(divide)(double 858993459)(add)(int 2)
+
+# Mista
+width `min` object_width=(str width)(min)(str object_width)
+
+# Atlanta, Bright
+width+1-SpacerWidth/2=(str width)(add)(int 1)(subtract)(str SpacerWidth)(divide)(int 2)
+
+# Vista Basic
+width+2=(str width)(add)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width- ((width-(Bmin`max`height-Bpad*2))/2)=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2)=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2) - 2=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2)*2=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(multiply)(int 2)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2)*2-1=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(multiply)(int 2)(subtract)(int 1)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2)*2-3=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(multiply)(int 2)(subtract)(int 3)
+
+# Clearlooks, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop
+width-((width-(Bmin`max`height-Bpad*2))/2)-1=(str width)(subtract)( ( (str width)(subtract)( (str Bmin)(max)(str height)(subtract)(str Bpad)(multiply)(int 2) ) )(divide)(int 2) )(subtract)(int 1)
+
+# Chiro, c2
+width-(ButtonIPad+1)=(str width)(subtract)( (str ButtonIPad)(add)(int 1) )
+
+# Chiro, c2
+width-(ButtonIPad+1)*2-1=(str width)(subtract)( (str ButtonIPad)(add)(int 1) )(multiply)(int 2)(subtract)(int 1)
+
+# Mista
+width-(TitlebarPad*2)=(str width)(subtract)( (str TitlebarPad)(multiply)(int 2) )
+
+# 4DWM
+width-(left_width+right_width - 1)=(str width)(subtract)( (str left_width)(add)(str right_width)(subtract)(int 1) )
+
+# 4DWM
+width-(right_width-1)=(str width)(subtract)( (str right_width)(subtract)(int 1) )
+
+# 4DWM
+width-(right_width-2)=(str width)(subtract)( (str right_width)(subtract)(int 2) )
+
+# Maemo
+width-(title_width+80)=(str width)(subtract)( (str title_width)(add)(int 80) )
+
+# Maemo
+width-(title_width+88+8)=(str width)(subtract)( (str title_width)(add)(int 88)(add)(int 8) )
+
+# Metabox
+width-(width-ButtonIPad)/2-1=(str width)(subtract)( (str width)(subtract)(str ButtonIPad) )(divide)(int 2)(subtract)(int 1)
+
+# sky, sky-blue
+width-0=(str width)(subtract)(int 0)
+
+# 4DWM, Almond, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, MWM, Maemo, MetaGrip, Metabox, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, Redmond, River, Shiny, Shiny-Tango, Simple, Simplebox, Sloth , SmoothGNOME, Soft Squares, Tactile, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+width-1=(str width)(subtract)(int 1)
+
+# 4DWM, Almond, Outcrop, Shiny, Shiny-Tango
+width-10=(str width)(subtract)(int 10)
+
+# Graphite
+width-12=(str width)(subtract)(int 12)
+
+# Almond, Outcrop, pOS
+width-15=(str width)(subtract)(int 15)
+
+# 4DWM, Almond, Amiga, AmigaRelief, Aquarius, Atlanta, Bentham, Bright, Carved2, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, Gilouche, GiloucheIM, MWM, MetaGrip, Metabox, Outcrop, Quiet-Environment, Quiet-Environment-v2, Quiet-Graphite, Quiet-Graphite-v2, Quiet-Human, Quiet-Purple-2K6, Quiet-Purple-2K6-v2, River, Shiny, Shiny-Tango, Silverado, Simple, SmoothGNOME, Tactile, Tetelestai-Modern, Vista Basic, W2k, boxx, c2, pOS
+width-2=(str width)(subtract)(int 2)
+
+# 4DWM, Aquarius, Bright, Carved2, Chiro, Clearbox-in, Clearbox-look-2, Clearbox-out, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Gilouche, GiloucheIM, Maemo, Outcrop, River, Simple, Simplebox, SmoothGNOME, Tetelestai-Modern, Vista Basic, W2k, c2
+width-3=(str width)(subtract)(int 3)
+
+# 4DWM, Almond, Amiga, AmigaRelief, Aquarius, Carved2, Chiro, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, Crux, Maemo, MetaGrip, Outcrop, River, Sandwish, Shiny, Shiny-Tango, SmoothGNOME, Tactile, Tetelestai-Modern, Vista Basic, boxx, c2, pOS
+width-4=(str width)(subtract)(int 4)
+
+# 4DWM, Amiga, AmigaRelief, Aquarius, Bright, Chiro, Clearbox-look-2, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, MWM, River, Shiny-Tango, Sloth , SmoothGNOME, boxx, c2, pOS
+width-5=(str width)(subtract)(int 5)
+
+# 4DWM, Aquarius, Clearlooks, Clearlooks-2.0-blend, Clearlooks-Pinstripe, Clearlooks-RedExit, Clearlooks2-Squared, Clearlooks2-Squared-Berries, ClearlooksWithACherryOnTop, EasyListening, MWM, MetaGrip, Shiny, Shiny-Tango, Vista Basic, W2k
+width-6=(str width)(subtract)(int 6)
+
+# 4DWM, MWM, MetaGrip, Outcrop, Shiny, Shiny-Tango, pOS
+width-7=(str width)(subtract)(int 7)
+
+# Maemo
+width-70=(str width)(subtract)(int 70)
+
+# Maemo
+width-72=(str width)(subtract)(int 72)
+
+# Almond, Outcrop, W2k, pOS
+width-8=(str width)(subtract)(int 8)
+
+# 4DWM, Almond, Maemo, Outcrop, pOS
+width-9=(str width)(subtract)(int 9)
+
+# Atlanta, Carved2, Chiro, Metabox, Redmond, River, SmoothGNOME, Tetelestai-Modern, c2
+width-ButtonIPad=(str width)(subtract)(str ButtonIPad)
+
+# Carved2
+width-ButtonIPad + 1=(str width)(subtract)(str ButtonIPad)(add)(int 1)
+
+# Simple
+width-ButtonIPad + 2=(str width)(subtract)(str ButtonIPad)(add)(int 2)
+
+# Chiro, River, c2
+width-ButtonIPad - 3=(str width)(subtract)(str ButtonIPad)(subtract)(int 3)
+
+# Carved2, Chiro, River, c2
+width-ButtonIPad*2=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)
+
+# Simple
+width-ButtonIPad*2 + 2=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)(add)(int 2)
+
+# Carved2
+width-ButtonIPad*2+1=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)(add)(int 1)
+
+# Atlanta, Chiro, Metabox, Redmond, River, SmoothGNOME, Tetelestai-Modern, c2
+width-ButtonIPad*2-1=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 1)
+
+# Bright
+width-ButtonIPad*2-2=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 2)
+
+# Chiro, River, c2
+width-ButtonIPad*2-5=(str width)(subtract)(str ButtonIPad)(multiply)(int 2)(subtract)(int 5)
+
+# Bright, Chiro, Metabox, River, c2
+width-ButtonIPad-1=(str width)(subtract)(str ButtonIPad)(subtract)(int 1)
+
+# Clearbox-look-2
+width-ButtonPad=(str width)(subtract)(str ButtonPad)
+
+# Clearbox-look-2
+width-ButtonPad*2+1=(str width)(subtract)(str ButtonPad)(multiply)(int 2)(add)(int 1)
+
+# Clearbox-look-2
+width-ButtonPad*2-1=(str width)(subtract)(str ButtonPad)(multiply)(int 2)(subtract)(int 1)
+
+# Clearbox-look-2
+width-ButtonPad+1=(str width)(subtract)(str ButtonPad)(add)(int 1)
+
+# Clearbox-look-2
+width-ButtonPad-1=(str width)(subtract)(str ButtonPad)(subtract)(int 1)
+
+# Clearbox-look-2
+width-ButtonPad-2=(str width)(subtract)(str ButtonPad)(subtract)(int 2)
+
+# Clearbox-look-2
+width-PrelightPad=(str width)(subtract)(str PrelightPad)
+
+# Clearbox-look-2
+width-PrelightPad*2+1=(str width)(subtract)(str PrelightPad)(multiply)(int 2)(add)(int 1)
+
+# Clearbox-look-2
+width-PrelightPad*2-1=(str width)(subtract)(str PrelightPad)(multiply)(int 2)(subtract)(int 1)
+
+# Clearbox-look-2
+width-PrelightPad+1=(str width)(subtract)(str PrelightPad)(add)(int 1)
+
+# Clearbox-look-2
+width-PrelightPad-1=(str width)(subtract)(str PrelightPad)(subtract)(int 1)
+
+# Clearbox-look-2
+width-PrelightPad-2=(str width)(subtract)(str PrelightPad)(subtract)(int 2)
+
+# Atlanta, Outcrop, Simple
+width-SpacerWidth=(str width)(subtract)(str SpacerWidth)
+
+# Bright
+width-SpacerWidth+2=(str width)(subtract)(str SpacerWidth)(add)(int 2)
+
+# Bright
+width-SpacerWidth+3=(str width)(subtract)(str SpacerWidth)(add)(int 3)
+
+# Bright
+width-SpacerWidth-2=(str width)(subtract)(str SpacerWidth)(subtract)(int 2)
+
+# Chiro
+width-left_width=(str width)(subtract)(str left_width)
+
+# Atlanta, Bright, Metabox, Simple, SmoothGNOME, TangoDance, Tetelestai-Modern
+width-left_width-right_width+1=(str width)(subtract)(str left_width)(subtract)(str right_width)(add)(int 1)
+
+# Maemo, Mista
+width-object_width=(str width)(subtract)(str object_width)
+
+# 4DWM, Gilouche, GiloucheIM, MWM, SmoothGNOME, Tetelestai-Modern
+width-right_width=(str width)(subtract)(str right_width)
+
+# 4DWM, MWM, Tetelestai-Modern
+width-right_width+1=(str width)(subtract)(str right_width)(add)(int 1)
+
+# 4DWM
+width-right_width/2=(str width)(subtract)(str right_width)(divide)(int 2)
+
+# 4DWM, MWM
+width-top_height=(str width)(subtract)(str top_height)
+
+# 4DWM
+width-top_height+1=(str width)(subtract)(str top_height)(add)(int 1)
+
+# 4DWM
+width-top_height+2=(str width)(subtract)(str top_height)(add)(int 2)
+
+# 4DWM, MWM
+width-top_height-1=(str width)(subtract)(str top_height)(subtract)(int 1)
+
+# Bentham, Clearbox-in, Clearbox-look-2, Clearbox-out, Simplebox, Sloth 
+width/2=(str width)(divide)(int 2)
+
+# Bentham
+width/2 + width/4 - 1=(str width)(divide)(int 2)(add)(str width)(divide)(int 4)(subtract)(int 1)
+
+# Bentham
+width/2 + width/4 - 2=(str width)(divide)(int 2)(add)(str width)(divide)(int 4)(subtract)(int 2)
+
+# Bentham
+width/2 - width/4 + 1=(str width)(divide)(int 2)(subtract)(str width)(divide)(int 4)(add)(int 1)
+
+# Clearbox-in, Clearbox-out, MWM, Simplebox
+width/2+1=(str width)(divide)(int 2)(add)(int 1)
+
+# Clearbox-in, Clearbox-out, Metabox, Simplebox
+width/2+2=(str width)(divide)(int 2)(add)(int 2)
+
+# 4DWM, Clearbox-in, Clearbox-out, Simplebox
+width/2+3=(str width)(divide)(int 2)(add)(int 3)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2+4=(str width)(divide)(int 2)(add)(int 4)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2+5=(str width)(divide)(int 2)(add)(int 5)
+
+# Aquarius
+width/2+height/4=(str width)(divide)(int 2)(add)(str height)(divide)(int 4)
+
+# Aquarius
+width/2+height/4+1=(str width)(divide)(int 2)(add)(str height)(divide)(int 4)(add)(int 1)
+
+# Aquarius
+width/2+height/4+2=(str width)(divide)(int 2)(add)(str height)(divide)(int 4)(add)(int 2)
+
+# Clearbox-look-2
+width/2+width/2-ButtonPad+1=(str width)(divide)(int 2)(add)(str width)(divide)(int 2)(subtract)(str ButtonPad)(add)(int 1)
+
+# Clearbox-look-2
+width/2+width/2-PrelightPad+1=(str width)(divide)(int 2)(add)(str width)(divide)(int 2)(subtract)(str PrelightPad)(add)(int 1)
+
+# 4DWM, Clearbox-in, Clearbox-look-2, Clearbox-out, MWM, Simplebox
+width/2-1=(str width)(divide)(int 2)(subtract)(int 1)
+
+# 4DWM, Clearbox-in, Clearbox-out, MWM, Metabox, Simplebox
+width/2-2=(str width)(divide)(int 2)(subtract)(int 2)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2-3=(str width)(divide)(int 2)(subtract)(int 3)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2-4=(str width)(divide)(int 2)(subtract)(int 4)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2-5=(str width)(divide)(int 2)(subtract)(int 5)
+
+# Clearbox-in, Clearbox-out, Simplebox
+width/2-6=(str width)(divide)(int 2)(subtract)(int 6)
+
+# Aquarius
+width/2-height/4=(str width)(divide)(int 2)(subtract)(str height)(divide)(int 4)
+
+# Aquarius
+width/2-height/4+1=(str width)(divide)(int 2)(subtract)(str height)(divide)(int 4)(add)(int 1)
+
+# Aquarius
+width/2-height/4+2=(str width)(divide)(int 2)(subtract)(str height)(divide)(int 4)(add)(int 2)
+
+# Aquarius
+width/2-height/6=(str width)(divide)(int 2)(subtract)(str height)(divide)(int 6)
+
+# Aquarius
+width/2-height/6+1=(str width)(divide)(int 2)(subtract)(str height)(divide)(int 6)(add)(int 1)
+
+# Bentham
+width/2-width/8-1=(str width)(divide)(int 2)(subtract)(str width)(divide)(int 8)(subtract)(int 1)
+
+# Bentham
+width/2-width/8-2=(str width)(divide)(int 2)(subtract)(str width)(divide)(int 8)(subtract)(int 2)
+
+# Bentham
+width/4=(str width)(divide)(int 4)
+
+# Bentham
+width/4+2=(str width)(divide)(int 4)(add)(int 2)
+
+###########################
+
+# EOF tokentest.ini