/* compatibility to WP4.0 */
#poststuff h2 {
	font-size:110%;
	padding-left: 12px;
	font-weight:600;
}

.wrap #select_routes {
    width:100%;
    height:450px;
    font-family:monospace;
    margin-top:5px;
}

.wrap .floatright {
    float:right;
}

.wrap .green {
    color:green;
}

.wrap .red {
    color:red;
}

.wrap .fullwidth {
    width:100%;
}

.wrap .block {
    display:block;
}

.wrap .floatleft {
    float:left;
}

.wrap #status {
    margin-bottom: 5px;
    margin-top: 10px;
    
}

.wrap #input_newroute {
    font-family:monospace;
    width:50%;
    margin-top:5px;
}

.wrap #button_newroute {
    margin-top:5px;
}

.wrap #button_removeselectedroutes {
    margin-top:10px;
}

.wrap .routesyntaxtext {
    font-family:monospace;
    background-color:white;
    padding:0px;
}

.wrap .routesyntaxtext .hover:hover {
    background-color: lightgray; 
}

.wrap .routesyntaxlinecount {
    background-color:lightblue;
    padding-right:3px;
    padding-left:3px;
}

.wrap #tab2content {
    display:none;
}

.wrap #tab2sidebar {
    display:none;
}

.wrap .routesyntaxline {
    font-family:monospace;
    background-color:white;
    padding-left:5px;
    padding-right:5px;
}

.wrap .discs {
    list-style: disc;
}

.wrap ul {
    list-style: none;
    margin-left:20px;
}

.wrap ul li {
    margin: 0px;
}