ASF_20_SRC_AUTO/src/blocks/slop/samples/javateach/javateach.css

/**
    CSS stylesheet for javateach
    Main looks inspired from linotype CSS stylesheets
*/

#content {
    font-family: "georgia", "times", "times new roman", serif;
    height:100%;
}

h1 {
    margin-bottom: 0;
    font-variant: small-caps;
    background: transparent;
    font-size: 150%;
}

h1.pageTitle {
    font-size: 180%;
    border-bottom: solid red 1px;
}

h2 {
    margin-bottom: 0;
    background: transparent;
    font-size: 125%;
}

h3 {
    margin-bottom: 0;
    background: transparent;
}

a {
	text-decoration: none;
	color: #000;
	border-bottom: 1px dotted #777;
	margin: 0px 2px 0px 2px;
	padding: 1px 1px 1px 1px;
}

a:hover {
	border: 1px dotted #000;
	background-color: #eee;
	padding: 1px 2px 1px 2px;
	margin: 0px;
}

a:active {
	background-color: #ccc !important;
	position: relative;
	top: 1px;
	left: 1px;
	padding: 1px 2px 1px 2px;
	margin: 0px;
}

a:focus {
	border: 1px solid #fff !important;
	background-color: #ccc !important;
	padding: 1px 2px 1px 2px;
	margin: 0px;
}

.lineNumber {
    display: inline;
    color: grey;
}

pre {
    border: 1px dotted #000;
    padding: 10px;
    margin: 20px;
    font-size: 120%;
    background: #FFFFCC;
}

.teachingComments {
    margin-left: 10px;
}

.commentLine {
    display: inline;
}