Commit 2c7328b3 authored by Marco Antoniotti's avatar Marco Antoniotti 💬
Browse files

Added .css file and reworked site structure.

parent e5a65341
/*
* HELambdaP (CL EXT) STYLE
*
* Inspired by www.rhythmbox.org, (c) rhythmbox 2002
*
* New code, modifications
* (c) Idan Gazit 2002, and
* (c) Marco Antoniotti, 2003-2017
*
* Permission is hereby granted to use this style, etc etc etc.
*/
/* body styles. */
body {
/* margin: 0; */
background: #ffffff;
font-family: Verdana, Arial, Helvetica;
font-weight: normal;
font-size: 12px;
color: black;
}
/* A element styles. */
a.navigation-link-selected {
text-decoration: none;
color: #ffffff;
font-weight: normal;
font-style: italic;
}
a.navigation-link-selected:hover {
text-decoration: underline;
color: #ffffff;
font-weight: normal;
font-style: italic;
}
a.navigation-link {
text-decoration: none;
color: rgb(100, 100, 100);
font-weight: normal;
}
a.navigation-link:hover {
text-decoration: underline;
color: #ffffff;
font-weight: normal;
}
a.return {
text-decoration: none;
color: #41286f;
font-size: 8pt;
font-weight: normal;
}
a.return:hover {
/* text-decoration: underline; */
color: #68548D;
font-size: 8pt;
font-weight: normal;
}
a {
/* text-decoration: underline; */
color: #41286f;
}
a:hover {
/* text-decoration: underline; */
color: #68548D;
}
/* P element styles. */
p {
font-family: Verdana, Arial, Helvetica;
font-size: 15px;
color: #000000;
font-weight: normal;
}
p.navindex {
/*
font-family: Verdana, Arial, Helvetica;
font-size: 12px;
color: #000000;
font-weight: normal;
*/
text-indent: 10pt;
margin-bottom: 1px;
margin-top: 1px;
}
/* Element-independent class styles. */
.header {
background: #C0C0C0;
height: 55px;
}
.navigation {
word-spacing: 5px;
position: absolute;
top: 35px;
right: 5px;
text-align: right;
font-family: Verdana, Arial, Helvetica;
font-size: 12px;
color: #ffffff;
font-weight: normal;
word-spacing: 0px;
}
.sidebar {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #000000;
font-weight: normal;
padding-left: 15px;
padding-right: 5px;
position: fixed;
top: 10ex;
right: 1em;
}
.text {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #000000;
font-weight: normal;
margin-left: 5cm;
margin-right: 2em;
}
.label {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #000000;
text-align: center;
font-style: italic;
}
.command {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #000000;
background: #eae8e3;
font-weight: normal;
margin-bottom: 10px;
}
.content {
background: #ffffff;
padding: 5px;
padding-right: 15px;
}
.toc {
font-size: 10px;
background: #ffffff;
padding: 5px;
padding-right: 5px;
}
.middle-bar {
height: 5px;
background: #A497BA;
}
.black-line {
height: 1px;
background: #000000;
}
.bottom {
position: absolute;
right: 5px;
bottom: 5px;
}
.copyright {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
/*color: #808080;*/
font-weight: normal;
padding: 5px;
text-align: center;
border-color: #808080;
border-width: 0px;
border-style: dotted;
border-top-width: 1px;
}
.centerblock {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: black;
font-weight: normal;
}
.tableheader {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: white;
font-weight: bold;
background: #505050;
padding: 4px;
}
.tablerow1 {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: black;
font-weight: normal;
background: #e0e0e0;
padding: 4px;
}
.tablerow2 {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: black;
font-weight: normal;
background: #f0f0f0;
padding: 4px;
}
.tablerow_style {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: black;
font-weight: normal;
background: #f0f0f0;
padding: 4px;
}
.captionimg {
text-align: right;
font-style: italic;
font-weight: normal;
font-size: 10px;
color: #303030;
}
.indent {
padding-left: 50px;
}
/*
.command
{
font-family: Courier;
}
*/
/* LI element style. */
li {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #000000;
font-weight: normal;
line-height: 1.8;
}
/* PRE element style. */
pre {
background-color: #f5f5f5;
padding-top: 6px;
padding-bottom: 6px;
padding-left: 6px;
}
/* H elements styles. */
h1 {
font-family: Verdana, Arial, Helvetica;
font-size: 20px;
color: #41286f;
font-weight: bold;
}
h2 {
font-family: Verdana, Arial, Helvetica;
font-size: 18px;
color: #41286f;
font-weight: bold;
}
h3 {
font-family: Verdana, Arial, Helvetica;
font-size: 16px;
color: #41286f;
font-weight: bold;
}
h4 {
font-family: Verdana, Arial, Helvetica;
font-size: 14px;
color: #41286f;
font-weight: bold;
}
h5 {
font-family: Verdana, Arial, Helvetica;
font-size: 12px;
color: #41286f;
font-weight: bold;
}
/* Floating menu to the right */
#menu {
position: fixed;
top: 2cm;
max-width: 4cm;
padding-left: 2em;
}
/* HELambdaP specialized styles. */
.helambdap_navmap {
border-color: #808080;
border-width: 0px;
border-style: dotted;
/* border-bottom-width: 1px; */
}
.helambdap_dict_entry {
border-color: #808080;
border-width: 0px;
border-style: dotted;
border-left-width: 1px;
}
/* end of file -- clstyle.css -- */
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 0: Common Lisp Document Repository</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -37,15 +39,10 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<h2>See also</h2>
<p><a href="../4/index.html">CDR 4: The Common Lisp Document Repository (revised)</a></p>
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: November 19, 2006</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 1: The CLOS Metaobject Protocol</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -43,11 +45,6 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: November 19, 2006</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 10: Functions COMPILED-FILE-P and ABI-VERSION</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -56,18 +58,7 @@ structure and reduce the number of binary distribution bundles.</p>
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<!--
<h2>Previous Versions</h2>
<ul>
</ul>
-->
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: July 8, 2012</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 11: Standard output streams default behavior in terminal sessions</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -21,9 +23,8 @@
<h2>The Document</h2>
<ul>
<li><a href=verna.12.cdr11.html>.html</a></li>
<li><a href=verna.12.cdr11.pdf>.pdf</a></li>
<li><a href=verna.12.cdr11.txt>.txt</a></li>
<li><a href="https://doi.org/10.5281/zenodo.3414191" target="_blanck"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3414191.svg" alt="DOI"></a></li>
</ul>
<h2>Accompanying Material</h2>
......@@ -41,19 +42,6 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<!--
<h2>Previous Versions</h2>
<ul>
</ul>
-->
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: July 15, 2012</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 12: Generic extendable heaps for Common Lisp</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -31,19 +33,7 @@
<h2>Status</h2>
<p><a href="../../withdrawn.html">Withdrawn</a></p>
<p> Withdrawn</p>
<!--
<h2>Previous Versions</h2>
<ul>
</ul>
-->
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: January 1, 2013</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 13: Priority Queues for Common Lisp</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -40,19 +42,6 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<!--
<h2>Previous Versions</h2>
<ul>
</ul>
-->
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: March 31, 2013</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 14: Detecting Implementation of CDR's in Common Lisp Runtimes</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -37,19 +39,6 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<!--
<h2>Previous Versions</h2>
<ul>
</ul>
-->
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: August 4, 2013</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 2: A generic hash table interface specification for Common Lisp</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -36,11 +38,6 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: December 24, 2007</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 3: Revisiting CONCATENATE-SEQUENCE</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -37,7 +39,7 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<h2>Previous Versions</h2>
......@@ -45,9 +47,4 @@
<li><a href=old/1/index.html>Version 1 (Submitted November 1, 2006)</a></li>
</ul>
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: January 21, 2007</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 4: Common Lisp Document Repository (revised)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -46,15 +48,10 @@
<h2>Status</h2>
<p><a href="../../final.html">Final</a></p>
<p>Final</p>
<h2>Remarks</h2>
<p>This CDR supersedes <a href="../0/index.html">CDR 0</a>.</p>
<hr>
<p>
<a href="../../index.html">CDR - Common Lisp Document Repository</a><br/>
<a href="../../editors.html">The CDR Editors</a><br/>
This page last modified: December 24, 2007</p>
</body> </html>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<title>CDR 5: Sub-interval Numerical Types for Common Lisp</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" charset="UTF-8">
<link rel="stylesheet" href="../../cdr.css">
</head>
<body>
......@@ -24,12 +26,16 @@ usual mathematical numerical sets and intervals. This document puts
forward such a proposal.</p>
<h2>The Document</h2>
<ul>
<li><a href="https://doi.org/10.5281/zenodo.4574592" target="_blanck"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4574592.svg" alt="DOI"></a></li>
</ul>
<!--