a:link 			{ color:#000099; }
a:visited 		{ color:#990000; }
a:hover 		{ background-color:#cccccc; }
a:active 		{ color:#000099; }

a.hidden 		{ text-decoration:none; color:black; }
a.hidden:hover 		{ text-decoration:none; background-color:white }
*.odd a.hidden:hover 	{ text-decoration:none; background-color:#f0f0f0 }
*.odd button		{ background-color:#f0f0f0 }



/*** general page attributes and the left part ***/

table { 
        font-size: 10pt;
        }

body { 
    font-family: 'Lucida Grande', Geneva, Verdana, Arial, sans-serif;
    font-size: 10pt;
    text-align: justify;   
    background: white;
    color: black;
}

html {
  margin: 0 }
body {
  position: relative;
  padding: 15px 15px 15px 155px;
  margin: 0 }
html>body {
  padding-left: 155px }





/* The child selectors are a hack to hide these rules from WinIE6,
   which gets confused by 'fixed' */
body>div#Menu,
body>div.nav { position: fixed }

div.nav {
          position: absolute;
          width: 145px; height: 100%;
          top: 0px; right: auto; bottom: 0px; left: 0px;
          background: white url(/icon/menu-bg.gif) left repeat-y;
}



div.auth {
        position:absolute; 
        top:5px; left:5px;
        border:1px solid black; padding-top:5px;
        width:128px; height:42px; text-align:center; z-index:9;
}
div.auth fieldset {
	margin:0px; padding:0px; border:0px;
}
div.auth,div.auth * { font-size:8pt; }



div.menu {
        position:absolute; 
        top:50px; left:0px;
           z-index:9;
}
div.menu,div.menu * { font-size:8pt; }




div.lang {
        position:absolute; 
        bottom:120px; left:5px; text-align:right;
        width:130px; z-index:7;
}
div.lang a {
        padding:0px; border:0px;
}
div.lang img {
        padding:0px; margin:2px;
}



div.stamp {
        position:absolute; 
        bottom:78px; left:5px; z-index:1;
	width:130px; text-align:right;
}
div.stamp,div.stamp * { font-size:7pt; }

div.stamp input.button {
	font-size: 7pt;
	width: 31px; height: 14px;
	text-align: center; vertical-align: middle;
	padding:0px; margin:1px 0px 0px 1px;
	border:1px solid black;
}

div.validity {
        position:absolute; 
        bottom:5px; left:52px; z-index:0;
        font-size:7pt;
}

div.validity * {
	border:0; margin:0px;
}



div.menu {
        top:58px;
           padding: 0px;
           margin: 0px;
}

div.menu ul {
	list-style-type:none; padding:0px;
        margin: 0px;
	width:135px;
}

div.menu ul ul {
	width:125px;
}

div.menu ul li {
	color:black;
	padding:0px 0px 0px 10px;
	font-weight:bold; font-size:9pt;
}

/* Die Farben gefallen noch nicht wirklich :-)
div.menu ul li.cm {
	background-color:#c0c0ff; 
}

div.menu ul li.vs {
	background-color:#ffc0a0; 
}
*/

div.menu ul li ul li {
	padding-left:0px;
	font-weight:normal; font-size:8pt;
	margin-bottom:0px;
}

div.menu ul li ul li a {
        display:block;
	padding-left:8px;
        width:117px;
}

div.menu ul li + li a {
	display:block; 
        width:125px;
}

div.menu * fieldset {
	text-align:center;
	padding-bottom:5px; margin:3px 10px 2px 0px; border:0px;
	font-size:8pt;
}

div.menu * form {
}



div.footer {
	text-align:left;
	font-size:9pt;
        font-family: monospace; 
	border:1px solid black;
	background-color: #c0ffc0;
	margin:5px 20px; padding:5px;
        white-space: pre;
}

div.result {
	text-align:left;
	font-size:9pt;
        font-family: monospace; 
	border:1px solid black;
	background-color: #c0ffc0;
	margin:5px 20px; padding:5px;
        white-space: pre;
}



div.error {  
        background-color:#ffc0c0;

}



td { 
     vertical-align: top;
}



h1,h2,h3,h4,h5 { 
                 background-color:#f0f0f0;
                 margin:5px; padding:2px; padding-left:20px;
                 border-style:solid; border-color:black;
}
h1 { 
     text-align:center;
     border-width:2px 0px; 
}
h2,h3,h4,h5 { 
              text-align:left;
              border-width:1px 0px;
}
h1, h1 * {
           font-weight:bold; font-size:15pt;
}
h2 {
        margin-top:15px;
}
h2, h2 * {
	font-weight:bold; font-size:12pt;
}
h3 {
        margin-top:10px;
}
h3, h3 * {
	font-weight:normal; font-size:11pt;
}
h4, h4 * {
	font-weight:normal; font-size:10pt;
}
h5, h5 * {
	font-weight:normal; font-size:9pt;
}


p,table,pre  { 
     margin: 10px;
}

code,tt { 
        font-family: monospace; 
}

pre { 
        white-space: pre;
        font-family: monospace; 
}

table.news img, table.news p {
        table-layout:auto;
	padding:0px; margin:8px 0px;
}

a.man { 
        font-family: monospace; 
}

a.mail { 
        font-family: monospace; 
}

/*
p {
	margin:8px 10px;
}
*/

ul,ol,dl {
	padding-left:30px; padding-right:30px;
}

li {
	margin:0px; padding:0px;
}




/* <table class="ibr">, incl. <table-*>, and labels of some tables */

table.ibr {
	width:100%; text-align:center;
}

table.ibr tr th {
	background-color:#c0c0c0;
}

table.ibr tr td[colspan] {
	background-color:#e0e0e0;
	text-align:center;
}

table.ibr tr.odd td {
	background-color:#f0f0f0;
}

table.ibr tr td.title {
	padding-left:3px; text-align:left;
}

/*
td.label {
	text-align:right; vertical-align:top;
	font-weight:bold;
}
*/



/*** <div class="user"> ***/



div.user, div.user table {
	margin-left:auto; margin-right:auto;
	padding-left:20px; padding-right:20px;			
	width:100%;
	vertical-align:top;
}

div.user * {
	font-size:10pt;
}

div.user table tr td {
	 padding:10px; margin:10px;
	 width:10px;
}

div.user table tr td + td {
	 padding-right:40px;
	 width:auto;
}

div.user * img {
	border-style:ridge; border-width:8px; border-color:#a0c0ff;
}

div.user * h1 {
	background-color:#a0c0ff;
	margin:0px; padding:0px; text-align:center;
	font-weight:bold; font-size:18pt;
	border-width:2px 0px; border-style:solid; border-color:black;
}



/*** news ***/



table.news {
	margin-left:auto; margin-right:auto;
	vertical-align:top;
	table-layout:fixed;
}

table.news tr td {
	vertical-align:top;
	margin:0px; padding:0px;
}


table.news table table {
	margin:5px; padding:0px; 
}

table.news table table tr td {
	background: #acecac url(/icon/corner-tl.gif) no-repeat top left;
	margin:0px; padding:10px 10px 5px 10px;
	text-align:left; font-weight:bold; font-size:10pt;
	width:auto;
}

table.news table table tr td + td {
	background: #acecac url(/icon/corner-tr.gif) no-repeat top right;
	margin:0px; padding:10px 10px 5px 10px;
	border:0px; border-spacing:0px;
	text-align:right; font-weight:normal; font-size:9pt;
	width:1%;
	white-space:nowrap;
}

table.news td[colspan="2"] {
	background: #cceccc;
	margin:0px; padding:0px 10px;
	border:0px; border-spacing:0px;
	text-align:justify; font-weight:normal; font-size:9pt;
}



/*** data-show und data-edit ***/



table.show {
	margin-left:auto; margin-right:auto;
	width:100%;
	border-spacing:0px;
}

table.edit, table.index {
	margin-left:auto; margin-right:auto;
	padding:10px; width:90%; background-color:#c0c0c0;
	border-spacing:0px;
}

table.index *.dim { color: #808080; }
*.dim a:link 	  { color:#7070c9 }
*.dim a:visited   { color:#c97070 }
*.dim a:hover 	  { background-color:#cccccc }
*.dim a:active 	  { color:#000099 }

.dim { color: #808080; }

*.nowrap { 
           white-space: nowrap;
}

table.edit {
	border-width:4px; border-color:#ff4444; border-style:dotted;
}

table.edit tr td.label, table.show tr td.label {
	text-align:right; border:0px; border-spacing:0px;
	width:100px; white-space:nowrap;
	font-size:9pt; font-weight:normal;
}

table.edit tr td.label:after, table.show tr td.label:after {
	content:" :"; padding-right:5px;
}

table.edit tr td.value {
	margin:0px; padding:0px; vertical-align:bottom; text-align:left;
	font-weight:normal;
	font-size:9pt;
}

table.show tr td.value {
	margin:0px; padding-left:5px; margin-top:5px;
	vertical-align:bottom; text-align:left;
	font-weight:normal; font-size:11pt; background-color:white;
}

.hint,.hint * {
	font-weight:normal; font-size:7pt;
	padding-left:4px;
}

table.edit * textarea, table.edit * input {
	font-size:8pt;
}

table.show tr td.button {
	padding-left:0px; text-align:center; white-space:nowrap;
}

fieldset {
	padding:0px; margin:0px; border:0;
}

/*** special tables ***/



table.description, table.thesis, table.course, table.user, table.project, table.wpt, table.rte, table.trk {
	margin:10px auto;
	padding:10px 10px;
	width:100%;
	vertical-align:top;
	border-spacing:0px;
	border:1px solid #ccc;
}

/* special table headlines */
table.description tr th, table.thesis tr th, table.course tr th, table.user tr th, table.project tr th, table.wpt tr th, table.rte tr th, table.trk tr th {
	background-color:#c0c0c0;
}

/* mark odd table rows for better reading */
tr.odd, li.odd {
	background-color:#f0f0f0;
}

/* some specific style for specfic table classes */
table.project tr td {
	width:10%; text-align:center;
}

table.project tr td + td {
	width:90%; text-align:left;
}

/*
table.course tr td + td, table.course tr td + td + td {
	width:20px; text-align:center;
}
*/
table.course tr td + td {
	text-align:center;
}
table.course tr th.year {
	width:40px; text-align:center;
}
table.course tr td.sem {
	width:20px; text-align:center;
}
table.course tr td.fill {
	width:10px;
}




table.user tr td {
	text-align:center;
}

/*
table.description tr td {
        text-align:right;
	vertical-align:top;
}

table.description tr td + td {
        text-align:left;
	vertical-align:top;
}
*/

table.thesis tr td {
        text-align:left;
	vertical-align:top;
}

table.thesis tr td + td {
        text-align:center;
	vertical-align:top;
}



/*** special <li> ***/

ul.bibitem li.avaibale, ol.bibitem li.available {
	background: url(/icon/bib-avail.gif) no-repeat top right;
}

ul.bibitem li.loaned, ol.bibitem li.loaned {
	background: url(/icon/bib-loaned.gif) no-repeat top right;
}

ul.bibitem li > a, ol.bibitem li > a {
	text-decoration:none;
}

ul.bibitem li, ol.bibitem li {
	padding-right:18px;
}









div.gallery-thumbs {
	position:fixed;
        top:0;
	height:100%; width:127px;
	margin:0; padding:0; border-spacing:0;
}

div.gallery-thumbs iframe {
	margin:0px; padding:0px;
	height:100%; width:100%; border:0;
}

body.gallery-thumbs {
	background: white url(/icon/film.gif) repeat-y;
	color:black;
	margin:0px; padding:5px;
}

body.gallery-thumbs table {
	margin-left:5px;
	border-spacing:2px 1px;
}

body.gallery-thumbs table * {
	margin:0px; padding:0px; border-spacing:0px; border:0px;
}

body.gallery-thumbs a:hover { background-color:white }

body.gallery-thumbs table td {
	width:86px; height:86px; margin:0px; padding:0px;
	border:1px solid black; border-spacing:0px;
	text-align:center; vertical-align:middle;
}



div.gallery-main {
	margin:0px 0px auto 140px; padding:0px;
	height:100%;
}

div.gallery-main iframe {
	margin:auto;
	height:1400px;
	width:100%;
	padding:0px;
	text-align:left;
	border:0px; 
}

body.gallery-main {
	margin:auto; padding:0;
}


.shadow1, .shadow2, .shadow3 {
  display:inline-table;
  /* \*/display:block;/**/}
.shadow1 {
  float:left;
  background:url(/icon/shadow.gif) right bottom no-repeat;
}
.shadow2 {
  background:url(/icon/shadow-bl.gif) -12px 100% no-repeat;
}
.shadow3 {
  padding:0 9px 9px 0;
  background:url(/icon/shadow-tr.gif) 100% -12px no-repeat;
}
.shadow4 {
  border:2px solid #666;
  padding:0px;
}
.shadow4 img {
  display:block;
  border:20px solid white;
}





form.search {
	margin:5px; padding:2px; padding-left:20px; text-align:center;
	font-weight:bold; font-size:15pt;
}

form.search td {
	width:15%; vertical-align:top; text-align:right;
}

form.search td + td, form.search td + td * {
	width:85%; vertical-align:top; text-align:left;
}



div.xsldoc pre {
	border:1px solid black;
	margin: 0px 20px;
	background-color: #f0f0f0;
	font-size: 10pt;
}



table.index {
	table-layout: auto;
}

table.index * {
	vertical-align:top; 
	font-size:10pt;
}

table.index a, table.edit a {
	margin:0px; padding:0px; border:0px;
	cursor:pointer;
}

table.index a img, table.edit a img {
	margin:0px; padding:2px; border:0px;
}

table.index tr td.button, table.index tr th.button {
	text-align:left;
	white-space:nowrap;
	width:40px;
}

table.edit tr > td {
	vertical-align:top;
}

table.edit tr > td + td + td {
	padding-top:5px;
	vertical-align:top;
}

table.index tr > td + td {
        padding: 2px;
}

table.edit button, table.show button, table.index button {
	border:0px; margin:5px; padding:0px;
}

table.edit button img, table.show button img {
	border:0px; margin:5px; padding:0px;
}

table.edit tr.footer {
	text-align:center;
}

table.index button {
	border:0px; margin:2px; padding:0px;
}

table.index button img {
	border:0px; margin:0px; padding:0px;
}

button:hover {
	cursor:pointer;
}



table.tree, table.jacks, table.ports {
	empty-cells:show;
	width:100%;
	padding:0px 0px 0px 0px;
	border:1px solid #c0c0c0;
	margin:2px 3px 2px 1px;
	border-spacing:0px;
	font-size:8pt;
}

table.tree * {
	vertical-align:top;
	text-align:left;
}

table.tree tr th {
	vertical-align:middle;
	padding:0px 3px 1px 1px;
	background-color:#c0c0c0;
}

table.tree tr th table {
	width:100%;
}

table.tree tr th table tr th {
	text-align:left;
	padding:0px 3px 1px 1px;
}

table.tree tr th table tr th + th {
	text-align:right;
	padding:0px 3px 1px 1px;
}

table.host tr td + td:after {
	content:":";
}

table.tree tr td + td + td:after {
	content:"";
}

table.tree tr td {
	width:6px;
}

table.tree tr td + td {
	margin-right:3px;
}

table.tree tr td + td + td {
	width:99%;
}

table.host tr td + td {
	margin:1px; padding:0px;
}

table.tree tr th + th {
	margin:1px; padding:0px;
}



table.jacks td.id, table.ports td.id {
	white-space:nowrap; width:13%; text-align:center;
	empty-cells:show;
}

table.tree table.jacks td.conn, table.tree table.ports td.conn {
	white-space:nowrap; width:24px; text-align:center;
	vertical-align:middle;
	empty-cells:show;
}

table.tree table.jacks td.status, table.tree table.ports td.status {
	white-space:nowrap; width:10%; text-align:right;
	empty-cells:show;
}

table.tree table.jacks td.status + td.status, table.tree table.ports td.status + td.status {
	white-space:nowrap; width:7%; text-align:right;
	empty-cells:show;
}

.warn {
	color:red; text-decoration:blink;
}

.ok {
	color:green;
}

.phone {
	color:blue;
}

.down {
	color:#808080;
}




table.card td { 
       font-size:9pt;
}