/* views
----------------------------------------------------------------------------------------------------*/
div#views { position:absolute; left:170px; bottom:25px; }
div#views ul { margin:0; padding:0; }
div#views li 
{ margin:8px 1px 0 1px; padding:0; border:solid 1px #c0c0a8; border-bottom-width:0; display:inline; float:left; overflow:visible; background-color:#fff; position:relative; }
div#views li  a { display:inline-block; padding:0 5px; color:#000; }
div#views li.selected { font-weight:bold; margin-top:5px; margin-bottom:0; padding:0; font-size:14px; }
div#views li.iconized { padding-right:18px;}
li span.icon.special { position:absolute; top:-12px; right:-6px; width:25px; height:25px; background:url("../images/mk-icons.png") no-repeat; }

/* navigation, tools and languages
----------------------------------------------------------------------------------------------------*/
div#navigation {}
div#navigation ul , div#tools ul , div#languages ul { margin:0; padding:0;}
div#navigation  li, div#tools  li  div#languages  li  { margin:0; padding:0; list-style:none; list-style-image:none; }
div#navigation  li.active, div#tools  li.active, div#languages  li.active { font-weight:bold; }
div#navigation li  a, div#tools li  a, div#languages li  a  { display:block; padding:2px 5px 2px 10px; background:url("../images/blue-bul.png") no-repeat 0 7px; }

ul#filetoc { margin:20px auto; font-size:95%; text-align:center; background-color:#f1f1f1; }
ul#filetoc li { display:inline; list-style-type:none; padding-right:2em; }

/* tools and languages
----------------------------------------------------------------------------------------------------*/
div#tools, div#languages {}
div#tools ul , div#languages  ul { margin:0; padding:0; }
div#tools li, div#languages li  { margin:0; padding:0; list-style:none; list-style-image:none; }
div#tools a, div#languages a { display:block; padding:2px 5px; }

/* jump to nav 
----------------------------------------------------------------------------------------------------*/
div#jump-to-nav { margin:10px 0; display:block; clear:both; }