/* for pico auto menu */
div.pico_menu h1 { margin: 18px 0 0 0; padding: 3px; background-color:#eee;}
div.pico_menu h2 { margin: 18px 0 0 10px; padding: 3px; background-color:#eee; }
div.pico_menu h3 { margin: 18px 0 0 20px; padding: 3px; background-color:#eee; }
div.pico_menu h4 { margin: 18px 0 0 30px; padding: 3px; background-color:#eee; }
div.pico_menu h5 { margin: 18px 0 0 40px; padding: 3px; background-color:#eee; }
div.pico_menu div.level1 { margin-left: 0; }
div.pico_menu div.level2 { margin-left: 10px; }
div.pico_menu div.level3 { margin-left: 20px; }
div.pico_menu div.level4 { margin-left: 30px; }
div.pico_menu div.level5 { margin-left: 40px; }
div.pico_controllers_in_menu { float: right; position: relative; top : -1.5em;}
div.bottom_of_content_body { clear: right; }
ul.pico_list_contents li { list-style: none outside; }
ul.pico_list_contents_in_menu li { list-style: none outside; }


div.pico_print_icon { float: right; width: 40px; height: 40px; }

table.pico_pagenavigation { border-top: 1px #aaa solid; margin-top: 20px;}

pre.pico_history_diff del { color: red; }
pre.pico_history_diff ins { color: blue; }

div.pico_pagebreak { margin: 10px; }
div.pico_pagebreak span {border: 1px solid black; padding: 2px; margin: 2px; }
div.pico_pagebreak span.selected {border: 0px; }