/** Universal definitions */
/* * { color: rgb(119,52,33); font-family: Garamond, Arial, Helvetica;} */
BODY { color: rgb(119,52,33); font-family: Arial, Helvetica; }
TD.stext { text-align: center; }
IMG { border: 0px; }
A { font-weight: bold; text-decoration: none; color: rgb(119,52,33); }
A.ext { font-weight: normal; color: blue; text-decoration: underline; }

/** header/title on every page */
.dnec /* det. nauch. est. center */ 
    { font-family: Garamond; font-weight: bold; 
        font-size: 16pt;
        font-variant: small-caps;
    }
.hd /* page name */ 
    { font-family: Times; font-weight: bold; font-style: italic; font-size: 18pt }

.cont /* page content margin */
   { margin-top: 60px; margin-left: 0px;}

/** left-side menu panel */
.menu { height: 30px; }
.address /* address */ { 
           font-family: Times; font-size: 9pt; text-align: right;
           font-weight: bold;
           text-decoration: none }

/** schedule page */
.sched { height: 30px; font-style: italic; text-decoration: none; font-size: 14pt;
         font-weight: bold; font-family: Times }
.dn /* dni nedeli */ { font-family: Verdana; font-size: 9pt; text-align: center; font-weight: bold; }

.saux { font-family: Verdana, Times; font-size: 7.5pt; /* color: rgb(200,100,50); */ }
.stext { font-family: Verdana, Times; font-size: 8pt; /* color: red; */ }
.srow /* default height */ { height: 4ex /*24pt*/; }

/** list of classes page */
.clist /* list of classes */ { 
         font-style: italic; 
         font-family: Times;
         font-size: 14pt; }
.csublist /* list of "subclasses", not used anymore" */ { 
         font-style: normal; 
         font-size: 12pt; }

/** individual class */
H1 {  /* class name/title */
     font-size: 18pt; 
     font-style: italic; 
     font-weight: bold; }
H2 { /* "tagline" for a class, optional */
     font-size: 11pt; 
     font-style: italic; }
.cmain /* main class description */ { 
         font-family: Times New Roman, Times;
         font-size: 9pt;
         text-align: justify; }
.cright /* right-side panel */ { 
         font-family: Verdana;
         font-size: 7pt;
         font-weight: bold;}

/** Kak nas najti */
.s1 { font-family: Times New Roman, Times; font-size: 9pt; font-weight: bold; }
.s2 { font-family: Times New Roman, Times; font-size: 18pt; font-weight: bold; }
.s3 { font-family: Times New Roman, Times; font-size: 9pt; font-style: italic; }
.s4 { font-family: Times New Roman, Times; font-size: 11pt; }

/** special styles */
A.underlinedlink { text-decoration: underline; }

/** main page */
BODY.main {
	margin-left: 0px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	background-color: rgb(39, 16, 10); /* #27100A; */
        height: 100%;
}
.maptext {
	font-family: "Times New Roman", Times, serif;
	font-style: italic;
	color: rgb(119, 52, 33); /* #773421; */
	font-size: 12px;
	font-weight: bold;
}
a.mapurl:link {
	color: rgb(204, 51, 0); /* #CC3300; */
	text-decoration: none;
}
a.mapurl:visited {
	text-decoration: none;
}
a.mapurl:hover {
	text-decoration: none;
}
a.mapurl:active {
	text-decoration: none;
}

.mapurl {
	font-size: 13px;
	color: rgb(204, 51, 0); /* #CC3300; */
}
.mainbot {
        color: rgb(239,191,120);
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
}
.mainboturl {
         font-style: italic;
         text-decoration: none;
         color: rgb(239,191,120);
         font-weight: normal;
}


/* admin menus */
.adminmenuint { color: rgb(100,0,0); font-family: Arial; font-size: 12pt; font-weight: normal; }
A.adminmenuint:hover { text-decoration: underline; }
.adminmenuext { padding-right: 2em; }

.histhdr { width: 95%; border: 1px solid rgb(200,200,200); background-color: rgb(255,245,225); }

/* History markup, ignored otherwise */
[from_version] { background-color: rgb(255,128,128); }
[to_version] { background-color: rgb(170,200,255); }

/* Main top-page error message */
DIV.errormsg { font-weight: bold; width: 100%; text-align: center; color: red; }

/* When presenting rename/delete dialog, this sets RHS td's of the table */
.renamerhs { font-weight: bold; }

/* "Editor change" special menu */
.editormenuint { text-decoration: none; color: black; font-family: Arial; }
.editormenuext { border: solid rgb(230,230,230) 1px; }
.editormenuext[wscur] { background-color: rgb(230,230,230) }
.editormenuext[wshover] { background-color: rgb(250,220,220) }
.editormenuext[wsna] { background-color: rgb(150,150,200) }

/* videopage: special markup for "currently playing" movie */
A.nowplaying { color: red; }