#sidebar {
    display: none;
}

#header {
    display: none;
}

#content {
    text-align: left;
}

#menu {
    display: none;
}

#tab_menu {
    display: none;
}

#sub_menu {
    display: none;
}


.highlighted {
    font-size: 1.1em;
}

.example {
    font-size: 70%;
    border: 1px solid;
    padding: 5px;
}

.largeexample {
    border: 1px solid;
    padding: 5px;
}

.demo_notice {
	display: none;
}