/*
  Copyright (c) 1997-2018
  Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
  http://www.polymake.org

  This program is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2, or (at your option) any
  later version: http://www.gnu.org/licenses/gpl.txt.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.
===============================================================================
*/

/* -------- General -------- */

body {
	background: #404040!important;
	margin:0;
	font: 100% Verdana,Tahoma,Arial,sans-serif;
	min-width:740px;
}

div#container {
	background: #E0A300 url(images/container-bg.png) repeat-x 0 0;
	padding: 0 60px 100px 40px;
}

div#page {
	padding:0 20px 20px 20px;
	background: #ECEDED;
	border: 2pt solid #000;
	top:58px;
	position:relative;
	color:#484848;
	min-width:600px;
	font-size: 80%;
	min-height: 100%;
}

img {
	border:none;
}

/* -------- Header -------- */

div#header_top {
	width:100%;
	height:65px;
	border-bottom: 5pt solid #E0A300;
	color:#fff;
}

img.toplogo {
	position:relative;
	right:0;
	float:right;
	padding:5px;
}
.biglogo {
	position:relative;
	z-index:5;
	height:170px;
	float:left;
}
.biglogo img {
	margin:0;
	padding:0;
}

/* -------- Navbar -------- */

div#nav {
  margin-left:90px;
  height:20px;
  position:absolute;
  min-width:600px;
  right:60px;
  left:40px;
}

ul#navmenu {
  list-style-type: none;
  color: #fff;
  margin:0;
}
  
ul#navmenu li {
	float:left;
	padding:25px 10px 15px 10px;
	border-right:1px solid #A7431A;
	font-size:120%;
	position:relative;
}
ul#navmenu li.current{
	background: #E0A300;
}
ul#navmenu li a {
	color: #fff;
	text-shadow: #000 1px 1px 2px;
	text-decoration:none;
	position:relative;
	z-index:5;
}

/* -------- links -------- */

div#page a {
	color: #4671D5;
	color: #A7431A;
	text-decoration:none;
}

div#page a:visited {
	color: #A7431A;
}
div#page a:hover {
	color: #000;
}


/* -------- sidebar -------- */

div.sidebar {
	width:100px;
	float:right;
	right:-70px;
	position:relative;
	margin:10px;
	margin-top:0;
}
div.sidebox, div.toc {
	float:right;
	width: 150px;
	background: #A7431A;
	border: 1pt solid #000;
	padding: 5px 5px 7px 5px;
	margin-bottom: 10px;
	margin-top:10px;
	font-size: 80%;
	color: #fff;
	
}
div.sidebox h1, div.tocheader {
	color: #fff;
	font-size: 110%;
	padding-bottom:1em;
	margin:0;
	font-weight:normal;
}

div.sidebox ul, div.toc ul {
	margin:0;
	padding-left:2em;
	list-style-type:disc;
}

div.sidebox ul li, div.toc ul li {
	padding-top:3px;
}
div.sidebox a, div.toc a {
	color: #fff!important;
}

/* -------- footer -------- */

div#footer {
	color: #fff;
	font-size:80%;
	padding:20px;
	border-top: 5pt solid #A7431A;
	position:relative;
	right:0;
	left:0;
	bottom:0;
}
div#footer a{
	color: #E0A300;
	text-decoration:none;
}

/* -------- text -------- */

h1,h2,h3,h4,h5 {
/*
	clear:left;
*/
}

h1 {font-size: 180%; font-weight: bold;}
h2 {font-size: 160%; }
h3 {font-size: 140%;  border-bottom: none; font-weight: bold;}
h4 {font-size: 120%;  border-bottom: none; font-weight: bold;}
h5 {font-size: 100%;  border-bottom: none; font-weight: bold;}


h1 {
	color: #A7431A;
}

#content > h1 {
	margin-bottom: 1.5em;
	margin-top: 1.5em;
}

* + h1 {
	margin-top: 2.5em!important;  
}

h2 {   
	margin-top: 1.5em;
	margin-bottom: .5em;
}
h2,h3,h4 {
	color: #000;
}

h4 {
	margin-top: 1em;
	margin-bottom: .5em;
}
h5 {
	margin:0;
}

h1 a, h2 a, h3 a, h4 a, h5 a {
	color: #A7431A!important;
}

div.level2, div.level3, div.level4 {
	margin-left: 2em;	
}


/* --------- override interwiki link image ------------ */
a.iw_reldocs { background-image: none !important; padding-left: 0px !important; }


/*1240AB	2A4480	06266F	4671D5	6C8CD5*/
