@namespace "http://www.w3.org/1999/xhtml";
@import url("http://fonts.googleapis.com/css?family=Inconsolata|Ubuntu")

@font-face {
    font-family: 'Iwona';
    src: url('iwonabi.eot?') format('eot'),
         url('iwonabi.woff') format('woff'),
         url('iwonabi.ttf') format('truetype'),
         url('iwonabi.svg#webfont6Zv5Y140') format('svg');
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: 'Iwona';
    src: url('iwonai.eot?') format('eot'),
         url('iwonai.woff') format('woff'),
         url('iwonai.ttf') format('truetype'),
         url('iwonai.svg#webfontnquKsC95') format('svg');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'Iwona';
    src: url('iwonab.eot?') format('eot'),
         url('iwonab.woff') format('woff'),
         url('iwonab.ttf') format('truetype'),
         url('iwonab.svg#webfontjoNU7nJL') format('svg');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'Iwona';
    src: url('iwona.eot?') format('eot'),
         url('iwona.woff') format('woff'),
         url('iwona.ttf') format('truetype'),
         url('iwona.svg#webfontqdeKdT83') format('svg');
    font-weight: normal;
    font-style: normal;
}

/* Override default syles. */

* {
	text-decoration: none;
	text-align: left;
	font-family: inherit;
}

object {
	padding: 0pt;
	margin: 0pt;
	border: none;
}

q {
	quotes: "\201c" "\201d" "\2018" "\2019";
}

q:before, blockquote:before {
	content: open-quote;
}

q:after, blockquote:after {
	content: close-quote;
}

blockquote {
	margin-left: 2em;
	margin-right: 2em;
}

body, p {
	font-family: 'Iwona', sans-serif;
}

body {
	margin: 0pt;
	color: #000000;
	background: #FFFFFF url("/background.png") bottom right fixed no-repeat;
}

code, pre, tt, .typewriter {
	font-family: 'Inconsolata', monospace;
}

img {
	vertical-align: middle;
	border: none;
}

div {
	padding: 1ex;
}

abbr {
	text-decoration: none;
	font-style: normal;
}

a {
	font-family: inherit;
}

a.iw img, a.external:after {
	position: relative;
	bottom: -0.5ex;
	font-size: 50%;
}

a.external:after {
	content: '>>';
	color: green;
}

a:visited, a:link {
	color: #4F94CD;
	text-decoration: none;
}

a:hover, a:active {
	color: #36648B;
	text-decoration: none;
}

th, th a:visited, th a:link {
	color: #FFFFFF;
	background-color: #A0A0A0;
	text-align: center;
}

th a:hover, th a:active {
	color: #4F94CD;
	background-color: #A0A0A0;
	text-align: center;
}

table {
	border-spacing: 0pt;
	border-collapse: collapse;
	border: solid 1px black;
	margin-left: auto;
	margin-right: auto;
	margin-top: 1em;
	margin-bottom: 1em;
	empty-cells: show;
	background-color: white;
}

td, th {
	padding: 0.5ex 1ex;
	margin: 0pt;
}

hr {
	margin: 0pt;
	height: 0pt;
	border: none;
	border-top: 1px solid GrayText;
	width: auto;
}

h1 {
	font-size: xx-large;
	text-align: left;
}

h1,h2,h3,h4,h5 {
	font-family: 'Ubuntu', sans-serif;
	font-weight: normal;
}

abbr, acronym {
	border-bottom: 1px dotted gray;
}

ul, ol {
	list-style-position: inside;
	margin-left: 0em;
}

li {
	margin-left: 0em;
}

/* Useful styles. */

.date {
	font-size: xx-small;
	margin: 0pt;
	padding: 1ex;
}

p.text {
	text-indent: 2em;
}

p.formal {
	text-indent: 0em;
}

.formal:first-letter {
	font-size: 200%;
	float: left;
	font-weight: bold;
}

.formal:first-line {
	font-variant: small-caps;
	left: -0.15em;
}

.other {
	background-color: #CFCFCF;
}

.hilight {
	background-color: #4F94CD;
}

.endcell {
	white-space: nowrap;
	text-align: right;
}

.above, .below {
	font-size: 70%;
}

.above {
	vertical-align: 0.7ex;
}

.below {
	vertical-align: -0.3ex;
}

.math {
	white-space: nowrap;
	font-size: 95%;
	word-spacing: -0.07em;
	font-style: italic;
}

.naked {
	border: none;
	padding: 0pt;
}

.nowrap {
	white-space: nowrap;
}

.details {
	font-size: 75%;
	color: #808080;	
}

.framed, .comment, blockquote {
	border: 1px dotted #404040;
	padding: 0.75em;
	color: #404040;
	background-color: #D0D0D0;
}

.checklist {
	list-style: url("/check.png") circle inside;
}

/* Collapsable Folders */
.collapse span, .collapse * a, .collapse * a:link, .collapse * a:visited {
	cursor: pointer;
	color: black;
}

.collapse span:hover, .collapse * a:hover, .collapse * a:active {
	color: #4F94CD;
}

p.collapse, div.collapse, .collapse p {
	margin: 1pt;
}

.collapse span {
	font-size: x-large;
}

div.collapse {
	margin-left: 1em;
}

/* 3D Panels */

.barframe {
	border-left: 1px ButtonShadow solid;
	border-top: 1px ButtonShadow solid;
	border-right: 1px ButtonHighlight solid;
	border-bottom: 1px ButtonHighlight solid;
	background-color: ButtonFace;
}

.bar {
	border-left: 1px solid ButtonHighlight;
	border-top: 1px solid ButtonHighlight;
	border-bottom: 1px solid ButtonShadow;
	border-right: 1px solid ButtonShadow;
}

.bar {			
	background-color: Highlight;
}

.button, .defaultbutton {
	color: ButtonText;
	background-color: ButtonFace;
	padding: 1ex;
}

.defaultbutton {
	font-weight: bold;
}

a.button:link , a.button:visited, a.button:hover {
	color: ButtonText;
	border-left: 1px ButtonHighlight solid;
	border-top: 1px ButtonHighlight solid;
	border-right: 1px ButtonShadow solid;
	border-bottom: 1px ButtonShadow solid;
}

a.button:active {
	color: ButtonText;
	border-left: 1px ButtonShadow solid;
	border-top: 1px ButtonShadow solid;
	border-right: 1px ButtonHighlight solid;
	border-bottom: 1px ButtonHighlight solid;
}

/* Homepage menu. */

A.menu, span.menu {
	white-space: nowrap;
	display: block;
	padding-right: 1em;
}

span.menu {
	color: HighlightText;
	background: Highlight;
	cursor: default;
}

.menu, A.menu, A.menu:link, A.menu:visited {
	color: WindowText;
	background: Window;
	white-space: nowrap;
	cursor: default;
	font-family: 'Iwona', sans-serif;
}

.menu img, .menu object  {
	padding: 3px;
}

A.menu:hover, A.menu:hover img {
	color: HighlightText;
	background: Highlight;
}

div.menu {
	text-align:left;
	border: 1px solid GrayText;
	padding: 0pt;
	margin: 1em;
	float: left;
	clear: right;
}

.selected {
	font-weight: bold;
	padding: 0pt;
	padding-right: 0.25em;
}

/* Miscellaneous. */		

.overlay {
	position: relative;
	left: -10px;
	margin-right: -10px;
}

.floatbox {
	border: silver 1px solid;
	float: right;
	padding: 1ex;
	margin: 1em;
}

div.comment, #commenttable, div.menu, body div table, table.utilbar, .titleblock {
	box-shadow: 3px 3px 5px #CCC;
	-moz-box-shadow: 3px 3px 5px #CCC;
	-webkit-box-shadow: 3px 3px 5px #CCC;
}

/* LaTeX */

.texL, .texA, .texT, .texE, .texX {
	font-family: serif;
}

.texA {
	left: -0.16em;
	top: -0.3ex;
	position: relative;
}

.texT {
	left: -0.21em;
	position: relative;
}
.texE {
	left: -0.1667em; top: 0.5ex; position: relative;
}

.texX {
	left: -0.125em;
	position: relative;
}

.titleblock {
	padding: 0.1em;
	padding-right: 0.5em;
	background: #DDDDDD;
	border: 1px solid gray;
}

.titleblock img {
	margin-top: -22px;
}

div.comment {
	margin-bottom: 2ex;
}

div.comment p:first-child {
	margin-top: -2ex;
	font-weight: bold;
}

div.comment div.comment {
	background-color: #E0E0E0;
}

div.comment div.comment div.comment {
	background-color: #D0D0D0;
}
.lin {
	display: none;
}
.den, .nom {
	display: block;
	width:100%;
	text-align:center;
}
.nom {
	text-decoration: underline;
} 

div.percentbar {
	left: 0px;
	right: 0px;
}

div.percentbar div {
	padding:0px;
	margin:0px;
	height: 0.25ex;
	background-color: #36648B;
}

div.search {
	padding: 0px;
}

div.search form, div.search p {
	margin: 0px;
	display: block;
}

div.search form input {
	width: 100%;
	border: none;
	color: gray;
	background: url("/search.png") no-repeat;
	padding-left: 20px;
}

table.utilbar {
	border: 1px solid grey;
}

table.utilbar td {
	background: #DFDFDF;
}

div.widget {
	float: right;
	width: 25%;
}