@import url('https://fonts.googleapis.com/css?family=Source+Code+Pro&display=swap');

#theXMLCode {
	font-family: "Source Code Pro", courier, monospace;
	font-size: .75em;
    -moz-tab-size:    4; /* Firefox 4+ */
    -o-tab-size:      4; /* Opera 11.5 & 12.1 only */
    tab-size:         4; /* Chrome 21+, Safari 6.1+, Opera 15+ */
}

.pointer {
	cursor: pointer;
}

.dropdown-shadow {
	box-shadow: 3px 3px 5px lightgrey;
}