/* 
Copyright 2009 Allan Tokuda and David Orozco

This file is part of PatentPiler.

PatentPiler is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

PatentPiler is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License
along with PatentPiler.  If not, see <http://www.gnu.org/licenses/>.
*/

body { 
    color: #000;
    font-family: Verdana;
    font-size:10pt;
}

h1 {
    margin-top: 2em; 
    color: #000;
    font-size: 16pt;
}

#claims div.indep, #claims div.dep {
    padding: 0em;
    margin-bottom: 1em;
}

#claims div.indep { background: #f0f8ff; }

#claims div.head h3 { 
    font-size: 12pt; 
    margin: 0px;
    display: inline;
}

#claims div.head { padding: 0.3em; }
#claims div.body { padding: 0.5em; }


#claims div.indep div.head {
    background-color: #d3e3ff;
    border-bottom: 1px solid #aaf;
}

#claims div.dep div.head {
    background-color: #e8e8e8;
    border-bottom: 1px solid #ddd;
}


#claims div.head span { font-size: 9pt; }

#claims span.dep_ref,
#claims span.difflinks { margin-left: 1em; }

#claims div.head a { color: #88c; }

#claims p.preamble { 
    color: #aaa; 
    margin: 0; 
    text-indent: 3em;
}


#claims div.diff1, #claims div.diff2 { background: #ffc; }

ins { font-weight: bold; }
del { background: #f99;}

#controls {
    background: #def;
    border: 3px solid #89c;
    margin-left: auto;
    margin-right: auto;
    width: 40em;
    padding: 1em;
}

#controls a { color: #458; }

span.highlight0 { background-color: #ff7; }
span.highlight1 { background-color: #7f7; }
span.highlight2 { background-color: #f77; }
span.highlight3 { background-color: #77f; }
span.highlight4 { background-color: #7ff; }
span.highlight5 { background-color: #f7f; }
span.highlight6 { background-color: #bbb; }
span.highlight7 { background-color: #7bf; }
span.highlight8 { background-color: #7fb; }
span.highlight9 { background-color: #bf7; }

#terms { width: 500px; color: #aaa; padding: 1em; margin-left: auto; margin-right: auto; text-align: center;  }
#terms a { color: #888; }

#logo {padding: 5px; width: 20em; margin-left: auto; margin-right: auto;}
#logo div div { width: 40px; height: 5px; margin-top: 3px; background: #ccc; }
#logo h2 { margin-top: 10px; text-align: center; }