Warning: PHP Request Startup: open(/var/tmp/c/7/sess_c7c971ab44a13d2ad0a566d305857353, O_RDWR) failed: Disk quota exceeded (122) in Unknown on line 0 Warning: PHP Request Startup: Failed to read session data: files (path: 2;/var/tmp) in Unknown on line 0 Warning: Cannot modify header information - headers already sent in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 2 Warning: Undefined array key "bgcolor" in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 8 Warning: Undefined array key "menu" in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 65 Warning: Undefined array key "page_mode" in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 77 Warning: Undefined array key "page_mode" in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 77 Warning: Undefined array key "menu" in /mnt/web023/c2/69/54133069/htdocs/site/layout/basic_formats.css.php on line 85 div#pageContents { max-width : 850px; min-height : 800px; background-color : white; /* border : solid black 1px; */ } /******************************************************************************/ /* Basic formats */ /******************************************************************************/ html { background-color : #666666; margin : 0px; padding : 0px; spacing : 0px; } body { max-width : 1000px; /* margin : 0px; */ margin: 0 auto; padding : 0px; spacing : 0px; } body { font-family : verdana,sans-serif; /*Helvetica,Arial,sans-serif */ font-size : 10pt; /*letter-spacing : 0.01em;*/ color : black; background-color : white; } div#WholePage { max-width : 1000px; } ul { padding-left : 18px; margin-top : 3mm; /* some space before enumeration text */ } ol { padding-left : 18px; margin-top : 3mm; /* some space before enumeration text */ } /* enumerations (list items) */ li { margin-top : 0mm; /* some space before enumeration text */ margin-bottom : 2mm; /* some space after enumeration text */ } /* Title of code sections */ .CodeSectionHeader { background-color : #efffff; font-weight : bold; } /* Sections of text emphasized with "text marker" */ .Marked { background-color : yellow; } .ToDo { background-color : #00ff00; } div.Rule { border-radius : 10px; background-color : #ffcccc; margin-top : 1.0em; margin-bottom : 1.0em; border-top : solid silver 1px; border-left : solid silver 1px; border-bottom : solid gray 1px; border-right : solid dimgray 1px; padding : 0.5em; max-width : 16cm; } textarea { width:100%; height:500px; } hr { height:1px; border : none; border-bottom : solid silver 1px; } .Footer p { font-size : 7pt; text-align : right; } /******************************************************************************/ /* Document title */ /******************************************************************************/ p.DocTitle { font-size : 13pt; font-weight : bold; margin-top : 0; } /******************************************************************************/ /* Headlines within regular text */ /******************************************************************************/ h1 { border-radius : 10px; padding-left : 4px; font-size : 13pt; border-bottom : solid silver 2px; background-color : #ffffcc; margin-top : 30px; } h2 { border-radius : 10px; padding-left : 4px; font-size : 12pt; border-bottom : solid silver 1px; background-color : #eeeeee; margin-top : 30px; } /* smaller margin if header follows after header */ h1 + h2 { margin-top : 0px; } h3 { border-radius : 8px; padding-left : 4px; font-size : 11pt; background-color : #eeeeee; border-bottom : dashed silver 1px; margin-top : 25px; } /* smaller margin if header follows after header */ h2 + h3 { margin-top : 0px; } h4 { font-size : 10pt; } .LinkWithinHeadLine { font-size : 7pt; padding-right : 5px; } /* h6 is used as small title within text */ h6 { font-size : 10pt; margin-top : 15px; margin-bottom : 5px; } /******************************************************************************/ /* Links */ /******************************************************************************/ a { color : #663300; text-decoration : none; } .LinkWithinHeadLine a { color : #dddddd; text-decoration : none; } /* conditional format for external links starting with http */ #pageContents .NoLinkDecoration a{ color : #663300; text-decoration : none; background: none; } /* conditional format for external links starting with http */ #menu .NoLinkDecoration a{ color : #663300; text-decoration : none; background: none; } a[href ^="http:"] { padding-left: 16px; background: transparent url(ExternalLinkArrow.png) no-repeat center left; } a[href ^="https:"] { padding-left: 16px; background: transparent url(ExternalLinkArrow.png) no-repeat center left; } .NoLinkDecoration a[href ^="http:"] { color : #663300; text-decoration : none; background: none; } #pageContents a[href ^="sw/"] { padding-left: 16px; background: transparent url(InternalLinkArrow.png) no-repeat center left; } #pageContents a:hover { color : #663300; background-color : #ffffcc; text-decoration : underline; } /******************************************************************************/ /* preformatted text (e.g. section of source code) */ /******************************************************************************/ pre { border-radius : 10px; background-color : #efffff; font-family : Courier,Fixedsys,monospace; /* font-family : DejaVuSans,"DejaVu Sans",arial,sans-serif; font-family : Fixedsys,Courier,monospace; */ font-size : 9pt; border-top : solid silver 1px; border-left : solid silver 1px; border-bottom : solid gray 1px; border-right : solid dimgray 1px; padding : 0.5em; letter-spacing : 0.07em; max-width : 16cm; /* padding-bottom : 0; spacing : 0; margin : 0; */ } pre.Output { border-radius : 10px; background-color : #ddffdd; border-top : solid silver 1px; border-left : solid silver 1px; border-bottom : solid gray 1px; border-right : solid dimgray 1px; } pre strong { background-color : #b0e0e6; } /******************************************************************************/ /* Table of contents */ /******************************************************************************/ .tableOfContents { background-color : #efffff; padding : 0.5em; spacing : 0; margin : 0; border : solid silver 1px; } /* Hint: ul ul ul means third level of nesting of lists */ /* , #menu ul */ .tableOfContents ul { font-size : 10pt; font-weight : bold; padding : 0; spacing : 0; margin : 0; list-style : none; } .tableOfContents > ul > li { padding-top : 0.5em; } .tableOfContents li { margin-bottom : 0mm; } .tableOfContents ul ul { font-size : 9pt; font-weight : normal; padding-left : 0.8em; } .tableOfContents ul ul ul { font-size : 8pt; } .tableOfContents ul ul ul ul { font-size : 7pt; } /******************************************************************************/ /* Table of Keywords */ /******************************************************************************/ .keywords { font-size : 9pt; } .keywords td { padding : 5px; } #pageContents .keywords a{ padding-left : 0px; color : black; background : transparent; text-decoration : none; } #pageContents .keywords a:hover { color : #663300; background-color : #ffffcc; text-decoration : underline; } /******************************************************************************/ /* Navigation menu */ /******************************************************************************/ div#menu{ background-color : #ffffff; float : left; width : 180px; height : 100%; /* Alternative to "float:left", but does not work in MS Internet Explorer position : absolute; top : 0px; left : 0px; */ border-top : solid silver 0px; border-right : solid silver 0px; border-bottom : solid silver 0px; margin-top : 0; spacing : 0; padding : 8px; padding-left : 0px; } #menu ul { font-size : 10pt; spacing : 0; padding : 0; margin : 0; list-style : none; } #menu ul > li { padding-left : 8px; } #menu ul > li.HeadLine { border-top-right-radius:10px; border-bottom-right-radius:10px; background-color : #ffffcc; font-weight : 500; padding-top : 2px; padding-bottom : 2px; border-top : 0px solid silver; border-bottom : 1px solid silver; } div#subMenu_1 ul{ background-color : white; padding-left : 0.3em; margin-left: 1px; margin-top: 2px; list-style: none; } #menu p { padding-left : 8px; } #menu a.menuactive{ background-color : #855e42; color : #ffffff; } #menu a.menuactive_within_submenu{ background-color : white; } #menu a:hover { /*font-weight : bold;*/ color : #663300; background-color : #ffffcc; /*border-top : 1px solid #dddddd;*/ /*border-left : 1px solid #dddddd;*/ border-bottom : 1px solid; /*border-right : 1px solid;*/ text-decoration : none; } /******************************************************************************/ /* Tab menu */ /******************************************************************************/ div#tab_menu { background-color : #eeeeee; border-top-left-radius:10px; border-top-right-radius:10px; max-width : 1054px; margin-top : 0px; margin-left : 0px; } div#tab_menu table{ // background-color : #eeeeee; border-radius: 10px; padding-bottom:0px; padding-left:210px; } div#tab_menu hr{ margin-top:0px; margin-bottom:0px; } div#tab_menu td.Space{ width : 80px; } div#tab_menu table{ padding-bottom:0px; padding-left:188px; } div#tab_menu a:hover { color : #663300; background-color : #ffffcc; text-decoration : underline; } /******************************************************************************/ /* Page contents */ /******************************************************************************/ div#pageContents{ /* Alternative with absolute positioning does not work in MS Internet Explorer position : absolute; top : 0px; left : 188.1px; */ padding : 0; margin-top : 0; margin-left : 188.1px; spacing : 0; padding-top : 8px; padding-bottom : 8px; padding-left : 8px; padding-right : 55px; text-align : justify; } /******************************************************************************/ /* Form */ /******************************************************************************/ div.MyForm table{ background-color : gainsboro; border : 1px solid silver; margin-top : 10px; padding : 10px; } div.MyForm input{ width:200px; } div.MyForm input.buttonBig{ width:400px; } div.MyForm textarea{ width:400px; height:200px; } div.MyForm td.formsubmit{ text-align: center; } /******************************************************************************/ /* Administration */ /******************************************************************************/ .Admin th { text-align : left; vertical-align : top; } .Admin td { vertical-align:top; } /******************************************************************************/ /* Home */ /******************************************************************************/ div.Home { width : 590px; } div.Home > table, div#calevvvndar > table { width : 590px; spacing : 0; padding : 0px; border : 1px solid silver; } div.Home th { text-align : left; vertical-align : top; margin-top :0; background-color : #eeeeee; } div.Home td { padding : 5px; } div.NoDecoration a { color : green; text-decoration : none; } div.NoDecoration a:hover { color : red; text-decoration : none; }