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

/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements.  See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You 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;
}