1.1 --- a/GUI/AboutBox.Designer.cs	Sat May 15 11:34:36 2010 +0000
     1.2 +++ b/GUI/AboutBox.Designer.cs	Sat May 15 12:50:28 2010 +0000
     1.3 @@ -97,8 +97,7 @@
     1.4        // 
     1.5        // label1
     1.6        // 
     1.7 -      this.label1.AutoSize = true;
     1.8 -      this.label1.Font = new System.Drawing.Font("Segoe UI", 11F, System.Drawing.FontStyle.Bold);
     1.9 +      this.label1.AutoSize = true;      
    1.10        this.label1.Location = new System.Drawing.Point(85, 13);
    1.11        this.label1.Margin = new System.Windows.Forms.Padding(12, 0, 12, 0);
    1.12        this.label1.Name = "label1";
    1.13 @@ -183,8 +182,7 @@
    1.14        this.Controls.Add(this.label2);
    1.15        this.Controls.Add(this.label1);
    1.16        this.Controls.Add(this.pictureBox1);
    1.17 -      this.Controls.Add(this.okButton);
    1.18 -      this.Font = new System.Drawing.Font("Segoe UI", 9F);
    1.19 +      this.Controls.Add(this.okButton);      
    1.20        this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedDialog;
    1.21        this.MaximizeBox = false;
    1.22        this.MinimizeBox = false;