view doc/_static/style.css @ 6414:3dbf1bc5e567

issue2551120 - The sorted method of MultilinkHTMLProperty crashes ... if the given property is unset for an element of the list. Crash fixed. New feature NoneFirst added to method to make unset values sort at start or end of sorted list. Current testing framework for this code is insuffient for testing change. Committing without automated test because it solves a crash.
author John Rouillard <rouilj@ieee.org>
date Mon, 17 May 2021 15:25:17 -0400
parents 515ab1749b14
children b5b1f2830e23
line wrap: on
line source

/* layout*/
body 
{
  font-family: sans-serif, Arial, Helvetica;
  background-color: white;
  color: #333;
  margin:0;
  padding: 0 3em 0 14em;
}
body > .header { margin: 0 0 0 -14em;}
body > .footer { margin: 1em 0 1em -14em; clear:both;}
body > .navigation 
{
  margin-left: -14em;
  width: 14em;
  float: left;
}
body > .content 
{
  width: 100%;
  margin: 0;
}
body > .header > #searchbox { position: absolute; right: 1em; top: 1em;}

/* style */

:link { color: #bb0000; text-decoration: none;}
:visited { color: #770000; text-decoration: none;}
a.toc-backref { color: #000000; }

.header h1 { margin-left: 1em; }

body
{
  font-family: sans-serif, Arial, Helvetica;
  background-color: #f5f5f5;
  color: #333;
}

.menu 
{
  margin-right: 1em;
  padding: 2pt;
  border: solid thin #dadada;
  background-color:#ffffff;
}
.menu ul { list-style-type:none; padding: 0;}
.menu ul ul { padding-left: 1em;}
.menu li { border-top: solid thin #dadada;}
.menu li:first-child { border-top: none;}

/* related */

div.related 
{
  width: 100%;
  font-size: 90%;
}
div.related-top { border-bottom: solid thin #dadada;}
div.related-bottom { border-top: solid thin #dadada;}

div.related ul 
{
  margin: 0;
  padding: 0 0 0 10px;
  list-style: none;
}

div.related li { display: inline;}

div.related li.right 
{
  float: right;
  margin-right: 5px;
}

.footer
{
  font-size: small;
  text-align: center;
  color: lightgrey;
}

.content
{ 
  padding: 1em;
  border: solid thin #dadada;
  background-color: #ffffff;
}

/* This is a little hack to inject a 'news' block into the title
   page without having to set up a custom directive. */
#roundup-issue-tracker .note
{
  float: right;
  width: auto;
  border: solid thin #dadada;
  background-color:#f5f5f5;
  padding: 1em;
  margin: 1em;
}
#roundup-issue-tracker .note .admonition-title { display: none; }

table
{ 
  border-collapse: collapse;
  border-spacing: 1px;
  background-color: #fafafa;
}

a.headerlink {
  font-size: 0.8em;
  margin-left: 0.3em;
  color: #c99;
}

Roundup Issue Tracker: http://roundup-tracker.org/