/*
* Copyright 1999-2004 The Apache Software Foundation
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
*     http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/**
    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;
}