/*
 * The first part of this is the standard CSS generated by LaTeX2HTML,
 * with the "empty" declarations removed.
 */

/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.math                   { font-family: "Century Schoolbook", serif;
                          font-weight: normal;
                          }
.math i                 { font-family: "Century Schoolbook", serif; }
.boldmath               { font-family: "Century Schoolbook", serif;
                          font-weight: bold;
                          }

/* Implement both fixed-size and relative sizes: */
small.xtiny             { font-size : xx-small; }
small.tiny              { font-size : x-small; }
small.scriptsize        { font-size : smaller; }
small.footnotesize      { font-size : small; }
big.xlarge              { font-size : large; }
big.xxlarge             { font-size : x-large; }
big.huge                { font-size : larger; }
big.xhuge               { font-size : xx-large; }

/*
 * Document-specific styles come next;
 * these are added for the Python documentation.
 *
 * Note that the size specifications for the H* elements are because
 * Netscape on Solaris otherwise doesn't get it right; they all end up
 * the normal text size.
 */

body                    { 
                          color            : black;
                          background-color : white;
                          /*background-image : url(../graphics/mosek_watermark.png);*/
                          background-repeat : no-repeat;
                          background-position : top left;

                          font-family: "times new roman", times, serif; 
                          padding : 5px;
                          margin : 0px;
                        }

a:active                { color: #ff0000; }
a:visited               { color: rgb(64,64,128); }
a:link                  { color: #0000bb; }
/*a:hover                 { background-color : rgb(164,214,227); }*/

h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
                          font-weight: bold; 
                          /*color : rgb(0,73,89); */
                          color  : rgb(2,69,111);
                          }
h1                      { font-size: 140%; }
h2                      { font-size: 120%; }
h3, h4                  { font-size: 110%; }
h5, h6                  { font-size: 100%; font-weight : bold; }
code, tt                { font-family: monospace; }
var                     { font-family: times, serif;
                          font-style: italic;
                          font-weight: normal; }

/************************************************************
   NAVIGATION
   */

/* MosekBlue = rgb(0,73,89)   */
/* Web Blue  = rgb(2,69,111); */
/* Web light Blue = rgb(235,240,244); */
.navigation             
{ /*background-color : rgb(164,214,227);*/
  /*background-color : rgb(179,197,205);*/ /* 30/70 MosekBlue/White*/
  /*background-color : rgb(204,218,221);*/ /* 20/80 MosekBlue/White*/
  background-color : rgb(235,240,244);
  /*color            : rgb(2,69,111);*/
  color            : rgb(2,69,111); /*rgb(0,73,89);*/ /* 100 MosekBlue */
  font-weight      : bold;
  font-family      : avantgarde, sans-serif;
  font-size        : 120%;
  vertical-align   : middle;
  }

.navigation a:link,.navigation a:hover
{
  /*background-color : rgb(204,218,221);*/ /* 20/80 MosekBlue/White*/
  }

.trail td
{
  font-family    : sans;
  vertical-align : top;
  text-align     : right;
  font-size      : small;
  padding        : 0px 1em 0px 1em;
  color          : black; /* 100 MosekBlue */
  }

.trail a:link    { text-decoration : none; font-weight : bolder; color : rgb(0,73,89); }
.trail a:visited { text-decoration : none; font-weight : bolder; color : rgb(0,73,89); }


/*.navigation a:hover     { background-color : rgb(164,214,227); }*/

.release-info           { font-style: italic; }

.titlegraphic           { vertical-align: top; }

.verbatim               { color: #00008b;
                          text-align : left; }

.email                  { font-family: avantgarde, sans-serif }
.mimetype               { font-family: avantgarde, sans-serif }
.newsgroup              { font-family: avantgarde, sans-serif }
.url                    { font-family: avantgarde, sans-serif }
.file                   { font-family: avantgarde, sans-serif }

.tableheader            { background-color: rgb(164,214,227);
                          color: #ffffcc;
                          font-family: avantgarde, sans-serif; }

.refcount-info          { font-style: italic }
.refcount-info .value   { font-weight: bold;
                          color: #006600 }

/*
 * Some decoration for the "See also:" blocks, in part inspired by some of
 * the styling on Lars Marius Garshol's XSA pages.
 * (The green in the navigation bars is #669933.)
 */
.seealso                { background-color: #fffaf0;
                          border: thin solid black;
                          padding: 4pt }

.seealso .heading       { font-size: 110% }

/*
 * Class 'availability' is used for module availability statements at
 * the top of modules.
 */
.availability .platform { font-weight: bold }


.navigation IMG { border-width: 0px }
.navtitle { width: 100% }

hr {color: black}

.breadcrumbs {font-family: arial, helvetica, sans-serif; font-size: x-small}

.contents {font-family: arial, helvetica, sans-serif}
.contents STRONG {font-style: italic; font-size: x-small}
.contents UL {list-style-type: none; font-weight: bold}
.contents UL UL {font-size: x-small; font-weight: normal}
.contents .toc-level-3 { display : none; }

.documentinfo {text-align: center}

.figurediv
{
  width : 100%;
  text-align : center;
}

.figure
{ 
  width : 100%;
  } 


.functionlist li
{
        list-style-type  : none;
        padding          : 0em 1em 0em 1em;
        margin           : 1em 0em 1em 0em;
        background-color : rgb(230,240,245);
        border           : solid thin;
        border-color     : rgb(164,214,227);
}

.funcdesc
{
        padding          : 0em 1em 0em 1em;
        margin           : 1em 0em 1em 0em;
        background-color : rgb(230,240,245);
        /*border-color     : rgb(164,214,227);*/
}

.funcdesc li
{
  border : none;
  list-style-type : disc;
  /*border-color     : rgb(164,214,227);*/
}

.funcdesc dt
{
  font-weight : bolder;
}

.paramdesc
{
        padding          : 0em 1em 0em 1em;
        margin           : 1em 0em 1em 0em;
        background-color : rgb(230,240,245);
        border           : solid thin;
        border-color     : rgb(164,214,227);
}

.paramdesc dt
{
  font-weight : bolder;
}


.parameterlist li
{
        list-style-type  : none;
        padding          : 0em 1em 0em 1em;
        margin           : 1em 0em 1em 0em;
        background-color : rgb(230,240,245);
        border           : solid thin;
        border-color     : rgb(164,214,227);
}

.functionlist span.itemhead
{
        font-size        : large;
        font-weight      : bolder;
}

.constantlist dd
{
        margin-top : 0em;
        padding :  0px 0px 1em 0px;
}


table.tabular
{
  padding : 1em;
  background-color : rgb(230,230,230);
}

table.tabular td        {
                          padding : 0px 1em 0px 1em;
                          margin  : 0px;
                          vertical-align : middle;
                        }

table.tabular tr.oddrow {
                          background-color : rgb(210,210,210);
                        }

dl.description dt
{
        font-weight : bold;
}

dd p
{
        margin  : 0px;
        padding : 0px;
}



pre.verbatimcode
{
  /*border           : dashed thin blue;*/
  border           : solid medium;
  border-color     : rgb(240,240,240) rgb(240,240,240) rgb(210,210,210) rgb(210,210,210);
  background-color : rgb(220,230,235);
  font-size        : smaller;
  padding : 1em;
  margin : 0px;
}

pre.verbatim
{
  border           : solid thin;
  border-color     : rgb(240,240,240) rgb(240,240,240) rgb(210,210,210) rgb(210,210,210);
  background-color : rgb(226,226,226);
  padding : 5px;
  font-size        : smaller;
  margin : 1em;
  text-align : left;
}

div.verbatimcode
{
  white-space      : pre;
  border           : solid medium;
  border-color     : rgb(240,240,240) rgb(240,240,240) rgb(210,210,210) rgb(210,210,210);
  background-color : rgb(226,226,226);
  font-size        : smaller;
  font-family      : monospace;
  padding : 1em;
  margin : 0px;
  text-align : left;
}

div.verbatimcode .comment
{
  font-style : italic;
  color : rgb(192,0,0);
}

div.verbatimcode .keyword
{
  font-weight : bolder;
  color : blue;
}

div.verbatimcode .type
{
  font-weight : bolder;
  color : black;
}

div.verbatimcode .string
{
  font-style : italic;
  color : rgb(128,64,0);
}

div.verbatimcode .preprocessor
{
  font-weight : bolder;
  color : green;
}

span.mo
{
        padding : 0px 2px 0px 2px;
        font-style : italic;
}

span.mi
{
  /*padding : 0px 0px 0px 2px;*/
  font-style : italic;      
}

span.math
{
        vertical-align : middle;
}

/* ul.itemize li
 * {
 * }
 */

/*---------------------------------------------------------*/
/* bibliography styles */
.bibliography
{
        font-size : larger;
}

.bibliography span.title
{
        font-style : italic;
}

/*---------------------------------------------------------*/
/* Index styles */

table.indextable
{
        margin-bottom : 2em;
}

table.indextable td
{
        vertical-align : top;
}

.aliveindexentry a:link { text-decoration : none; font-weight: bolder; }

/*
 *.indextable ul.indexlevel0
 *{
 *        list-style-type : none;
 *}
 */

.indextable ul.indexlevel1
{
        list-style-type : none;
}

.indextable ul.indexlevel2
{
        list-style-type : none;
}

.gentime
{
        text-align : right;
        font-size : x-small;
}


.togglescope
{ 
  cell-spacing : 0;
}