# HG changeset patch
# User igor
# Date 1205022892 -7200
# Node ID 8287cb3530de8a735f7969e35376916fe9457e45
# Parent  da65f1cbaf3a5bfbf7cec9d63014417cb99b5740
sever files added

diff -r da65f1cbaf3a -r 8287cb3530de l3-upload
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/l3-upload	Sun Mar 09 02:34:52 2008 +0200
@@ -0,0 +1,31 @@
+#!/usr/bin/perl
+#
+
+use CGI;
+$upload_dir = "/var/www/xguru/l3shot";
+$query = new CGI;
+
+$filename = $query->param("photo"); 
+$filename =~ s/.*[\/\\](.*)/$1/;
+$upload_filehandle = $query->upload("photo");
+
+my $convert="";
+if ($filename =~ s/.xwd$/.png/g) {
+    $convert="|xwdtopnm|pnmtopng";
+}
+
+open UPLOADFILE, "$convert>$upload_dir/$filename";
+binmode UPLOADFILE;
+while ( <$upload_filehandle> )
+{
+    print UPLOADFILE;
+}
+
+close UPLOADFILE;
+
+print $query->header ( );
+print <<END_HTML;
+Upload complete
+END_HTML
+
+
diff -r da65f1cbaf3a -r 8287cb3530de l3files/error.png
Binary file l3files/error.png has changed
diff -r da65f1cbaf3a -r 8287cb3530de l3files/folder.gif
Binary file l3files/folder.gif has changed
diff -r da65f1cbaf3a -r 8287cb3530de l3files/folder.up.gif
Binary file l3files/folder.up.gif has changed
diff -r da65f1cbaf3a -r 8287cb3530de l3files/l3.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/l3files/l3.css	Sun Mar 09 02:34:52 2008 +0200
@@ -0,0 +1,342 @@
+h1,h2,h3,h4 {
+    color:  #485c9f;
+    padding-top:    10pt;
+    padding-bottom: 0pt;
+    padding-left:   5pt;
+    margin-left:    0pt;
+    font-family:    sans-serif;
+    /*border: thin solid gray;*/
+}
+
+a {
+    padding-left: 3pt;
+    padding-right: 3pt;
+    text-decoration: none;
+}
+
+a:hover {
+    background-color: #eeeecc;
+}
+
+body {
+    padding-left:   10pt;
+    font-family:    sans-serif;
+}
+
+tr.table_header {
+    background-color    :   #98bcef;
+    font-weight:    bold;
+    font-size: 105%;
+}
+
+td
+{
+    padding-left:5pt;
+    padding-right:5pt;
+
+    margin-left:0pt;
+    margin-right:0pt;
+}
+
+.toc {
+    border: 1px solid #aaa;
+    background-color: #f9f9f9;
+    padding: 10pt;
+    padding-left: 0pt;
+    padding-right: 15pt;
+    font-size: 95%;
+}
+
+.files_toc {
+    padding : 10pt;
+}
+.toc_title {
+    font-weight: bold;
+    text-align: center;
+}
+
+.cline, .output
+        { 
+    margin      : 0px 0px 0px 0em;
+    padding     : 0px 0px 0px 0px; 
+    vertical-align  : top;
+    /*display:inline;*/
+}
+
+.cline
+{   font-weight : bold;           }
+
+.wrong_cline, .wrong_root_cline,
+.mistyped_cline, .mistyped_root_cline   
+        {   
+            /*
+            color       : #ee7777;      
+            */
+            /* color        : #aa5555; */
+        }
+.wrong_output,              .wrong_root_output, 
+.mistyped_output,           .mistyped_root_output   
+        {   
+            /*
+            font-size   : 80%;
+            color       : #cc6666;      
+            */
+        }
+
+.cblock_mistyped,
+.cblock_mistyped_root
+        {   
+            text-decoration : line-through;
+        }
+
+.cblock_interrupted > .output,
+.cblock_interrupted_root > .output 
+        {
+            color       : #aaaaaa;
+        }
+
+.cblock_interrupted > .cline
+.cblock_interrupted_root > .cline
+        {
+            color       : #777777;
+        }
+
+
+.cblock_normal_root,
+.cblock_wrong_root,
+.cblock_mistyped_root,
+.cblock_interrupted_root,
+.cblock_tab_root
+        {
+            border-left : #ff0000 solid thin;
+        }
+
+.command    {
+    margin  : 0pt 0pt 0pt 0pt;
+    padding : 0pt 0pt 0pt 0pt;
+    /*border  : thin solid gray;*/
+        }
+
+.with_hint  {
+    background  :   #f9feff;
+}
+
+.without_hint   {
+    background  :   #fff9f9;
+}
+
+.note       { 
+    /*     
+    color       : black;
+    background  : #d8fcff; 
+    margin      : 12px 12px 12px 12px;
+        padding     : 6px 6px 6px 6px; 
+        border-style    : dashed;
+        border-width    : thin;
+    border-color    : #a8eaff; 
+    vertical-align  : top;
+    */
+    color       : black;
+    background  : #d8f0ff;
+    margin      : 2px 12px 12px 12px;
+        padding     : 6px 6px 6px 6px; 
+        border-style    : dotted;
+        border-width    : thin;
+    border-color    : #687cbf;
+    vertical-align  : top;
+}
+
+.note_title,.note_text,.note_search 
+        { 
+            color       : black;
+                margin      : 0px 0px 0px 0px;
+                padding     : 0px 0px 0px 0px; 
+            vertical-align  : top;
+                                }
+.note_title {   
+            font-size   : 120%;         
+            font-family : sans-serif;
+            padding-top : 2pt;
+            padding-bottom  : 2pt;
+        }
+.note_text  {   
+            font-family : sans-serif;       
+            font-size   : 100%;         
+        }
+.note_search    {   text-align  : right;        }
+
+
+.diff       { 
+    color       : black;
+    background  : #fdffcd;
+        margin      : 16px 16px 16px 16px;
+        padding     : 6px 6px 6px 6px; 
+        border-style    : dashed;
+        border-width    : thin;
+}
+
+.ttychange      { 
+    color       : #9a9a9a;
+    background  : #fafafa;
+    margin      : 0em 0px 0pt 0px;
+    padding     : 0em 0pt 0em 0pt; 
+    vertical-align  : top;
+    font-family : monospace;
+    min-width: 5em;
+    position    : relative;
+    left        : 0em;
+    border-top  : thin dotted #cccccc;
+    text-align  : right;
+    font-size   : 50%;
+}
+
+.time { 
+    color       : #999999;
+    margin      : 0px 0px 0px 0px;
+    padding     : 2pt 1pt 0px 10pt; 
+    vertical-align  : top;
+    font-size   : 80%;
+    width       : 5em;
+    float       : left; 
+/*    height      : 100%; */
+/*    border      : thin solid gray; */
+}
+
+.cblock,
+.cblock_normal,
+.cblock_wrong,
+.cblock_mistyped,
+.cblock_interrupted,
+.cblock_tab,
+.cblock_normal_root,
+.cblock_wrong_root,
+.cblock_mistyped_root,
+.cblock_interrupted_root,
+.cblock_tab_root
+{ 
+    margin      : 0px 0px 0px 0em;
+    padding     : 0px 0px 0px 5pt; 
+    vertical-align  : top;
+/*    border      : thin solid blue; */
+}
+
+.visibility_form        { 
+    position    : fixed;
+    bottom: 10; right: 10;
+    z-index     : 5;
+    color       : #9a9a9a;
+    background  : #e7e7e7;
+    margin      : 0px 0px 0px 0px;
+    padding     : 0px 0px 0px 0px; 
+    vertical-align  : top;
+    font-size   : 80%;
+    font-family : sans-serif;
+}
+.visibility_form > .header {
+    font-weight: bold;
+}
+.visibility_form > .window_controls {
+    position : absolute;
+    right : 1pt;
+}
+
+.new_commands_table {
+        padding     : 0px 0px 0px 0px;
+        margin      : 20px 60px 60px 20px;
+        background-color: #f9f9f9;
+}
+
+.new_commands_header {
+        font-weight: bold;
+        background-color: #e9e9e9;
+}
+
+.new_commands_caption {
+        font-style: italic;
+        background-color: #ffffff;
+}
+
+.err_box {
+    color       : white;
+    background  : red;
+    font-weight : bold;
+    font-size   : 70%;
+}
+.filename, .file_navigation {
+    background  : #f7f7ba;
+    padding     : 1ex;
+    padding-bottom: 1pt;
+    display     : inline;
+}
+
+.filename {
+    font-weight : bold;
+    margin      :  20pt 0pt 0pt 10pt;
+}
+
+.file_navigation {
+    font-weight : bold;
+    margin      :  20pt 10pt 0pt 0pt;
+}
+
+.filedata {
+    padding: 5pt 10pt 5pt 10pt;
+    margin:  0pt 10pt 30pt 10pt;
+    border-left: 2pt;
+    border-right: 2pt;
+    border-bottom: 2pt;
+    border-style: solid;
+    border-color: #f7f7ba;
+    background-color: #fffffa;
+}
+
+.time_passed {
+    padding: 1em 5em 1em 5em
+}
+
+.much_time_passed {
+    padding: 2em 5em 2em 5em
+}
+
+.edit_link {
+    float:      right;
+    font-size:  80%;
+    position: relative;
+    bottom: 0;
+    padding-top: 2em;
+}
+
+.lined_header {
+    border-bottom: 1pt solid gray;
+    padding: 10pt 0pt 5pt 0pt;
+    margin: 30pt 0pt 20pt 0pt;
+}
+
+
+.nav_bar {
+    font-size: 80%;
+    color: #222222;
+    background-color: #eeeeee;
+}
+
+/*
+.nav_bar a {
+    color: #222222;
+    padding-left: 1pt;
+    padding-right: 1pt;
+}
+*/
+body {
+    margin:0;
+    padding:0 0 15px 0;
+
+}
+.body {
+    margin: 10;
+    padding: 10;
+}
+
+.fixed_div {
+    margin-left: 60pt;
+    padding-left: 0pt;
+}