/ Lp4all / lp4all.css

/*
# lp4all: literate programming embedded in source code as wiki comments
# Copyright (C) 2006 Jean-Marie Favreau, Frédéric Lehobey, David Mentré
#                    and Thomas Petazzoni
# 
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
# 
# This program 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 General Public License for more details.
# 
# You should have received a copy of the GNU General Public License along
# with this program; if not, write to the Free Software Foundation, Inc.,
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/

html, body {
  margin: 0;
  padding: 0;
}

body {
  text-align: center;
  color: #303030;
  background: #e6e6e6;
  font-size: 10pt;
  font-family: "Bitstream Vera Serif", serif;
  padding: 2em 0;
}

p {
  margin: 0.5em 1px 0.5em 1px;
}

hr {
  border: 0px;
  color: #ccc; /* IE bugfix */
  background-color: #ccc;
  height: 1px;
}

a {
  color: #EA3E09;
  font-weight:bold;
}

a:hover {
  color: #EA7F09;
  text-decoration: ;
}

a img {
  border:none;
}

h1 a { color: white; text-decoration: none; }
h1 a:hover { color: #FFDE88; }

ul {
  margin: 1em 2em;
  padding: 0;
  list-position: inside;
}

#container{
  width: 90%; /*760px;*/
  margin: 0 auto;
  padding: 1px;
  text-align: left;
  background: #ffffff;
  color: #303030;
  border: 2px solid #a0a0a0;
}

h1, h2, h3, h4 {
	font-family: "Bitstream Vera Sans", sans-serif;
	font-weight: bold;
	letter-spacing: 0.05em;
	padding-bottom: 0.1em;
}

h1 {
  background: #EFA758;
  margin: 0;
  padding: 1em;
  font-size: 150%;
  color: white;
  border-bottom: 6pt solid #f0f0f0;
}


h2 { font-size: 190%; border-bottom: 1px solid #ccc; }
h3 { font-size: 160%; border-bottom: 1px solid #ddd; }
h4 { font-size: 130%; border-bottom: 1px solid #eee; }

#content {
  text-align: justify;
  padding: 1em;
}

div.comment {
  text-align: justify;
  margin: 0;
  padding: 0 0.5em;
  background: white;
  border: 1px solid #ddd;
  font-size: 11pt;
  font-family: "Bitstream Vera Serif", serif;
}

div.comment a  {
  color: #EA3E09;
  font-weight:bold;
  text-decoration: underline;
}

div.comment a:hover {
  color: #EA7F09;
  text-decoration:none;
}

div.comment a.broken {
  text-decoration: line-through;
  color: red;
}

div.comment a.external {
  color: #EA7F09;
}

div.comment a.external:hover {
  color: #EA3E09;
}

span.cancel {
  text-decoration: line-through;
}

.code, pre {
  font-size: 10pt;
  margin: 0;
  background: #f0f0f0;
  padding: 1px 0.5em 0 0.5em;
}

.code {
  font-family: "Bitstream Vera Mono", monospace;
}

div#footer {
  text-align: right;
  padding: 0.1em 1em;
  padding-top: 2em;
  font-style: italic;
  font-size: 100%;
  font-family: "Bitstream Vera Sans", sans-serif;
  color: #aaa;
  background: #f0f0f0;
}

div#footer a {
  color: #CEAE5D;
}

div#footer a:hover {
  color: #EA7F09;
}