/* This is the CSS Style file for sagemath.org - website for the Sage mathematical software package */
/* Created by Harald Schilly (c) 2008; Copyright Sage - harald.schilly@gmail.com */
/* License: CC-BY http://creativecommons.org/licenses/by/3.0/ */

body {
text-align: left;
font-size: 95%;
width: 80%;
margin: 15px auto 15px auto;
padding: 0 0 15px 0;
background: #ffffff; /* url('../pix/background.png') repeat-x; */
min-width: 750px;
max-width: 1000px;
}

html {
margin-top: 0px;
margin-bottom: 0px;
padding: 0px;
background-color: #b8b9f6;
/*background-image: url('../pix/sageimakecon.png');*/
/*background-repeat: repeat;*/
font-family: "RobotoDraft",  "DejaVu Sans", sans-serif;
text-align: center;
overflow-y: scroll;
}

li { margin-top: 0.5em; padding-right: 15px;}
ul, ol {
margin-left:0px;
}
ul {
list-style-type:square;
}
.mOverlay { text-align:left; }
.mOverlay li { margin-top: 0; text-align: left;}

table {border-collapse: collapse;}

#index-table { border-collapse: collapse; }
#index-table td { 
vertical-align: middle; 
padding: 15px 15px 15px 15px; 
}
#index-table td.left { padding: 10px 15px 10px 0px; }
#index-table td.right { padding: 10px 0 10px 15px; }
#index-table h2 {
padding: 0;
margin: 0;
margin-top: 15px;
margin-bottom: 15px;
text-align: inherit;
border-bottom: 0;
}
/* IE doesn't know inherit */
#index-table td.right h2 { text-align: right; }
#index-table td.left  h2 { text-align: left; }

input {
background-color: transparent;
border: 1px solid #7f7fff;
padding: 0 2px 0 2px;
}

table#download { border-collapse: collapse; }

table#download tr {
border-width: 1px;
border-color: gray;
border-style: dotted none dotted none;
}
table#download th , table#download td {
padding-top: 5px;
padding-bottom: 5px;
}
table#download th {
padding-right: 10px;
text-align: right;
}

table.top td, table.top tr {
vertical-align: top;
valign: top;
}
.middle {
vertical-align: middle;
valign: middle;
}


table.wide {
margin-left: 0;
margin-right: 0;
}

table.wide td {
padding: 5px;
}
body {
 border-radius: 15px;
 -moz-border-radius: 15px;
 -webkit-border-radius: 15px;
 -o-border-radius: 15px;
}
.body-corner {
padding: 0;
margin: 0;
line-height:0px;
}
div.body-corner div {
display: block;
width: 15px;
height: 15px;
background: transparent url("../pix/page-graphics.gif") no-repeat;
overflow: hidden;
}
#body-corner-tl {
margin: 0;
float: left;
background-position: 0px 0px;
}
#body-corner-tr {
margin: 0;
float: right;
background-position: -15px 0px;
}
#body-corner-br {
margin: 0;
float: right;
background-position: -30px 0px;
}
#body-corner-bl {
margin: 0;
float: left;
background-position: -45px 0px;
}
.trademark {
color:#C9C9F9;
font-size:60%;
text-align:center;
}
#footer table {
text-align: center;
margin-left: auto;
margin-right: auto;
}
#footer table td { padding: 3px 5px; text-align: center; }
#footer table tr:nth-child(2) td { padding: 3px; }
tr#links a {
background: transparent url("../pix/page-graphics.gif") no-repeat;
width: 80px;
height: 15px;
display:block;
}
tr#links a#footer-webmaster { background-position: 0px -15px; }
tr#links a#footer-cc        { background-position: 0px -30px; }
tr#links a#footer-donate    { background-position: 0px -60px; }
tr#links a#footer-rss       { background-position: 0px -45px; }
tr#links a#footer-contact   { background-position: 0px -75px; }
#google_translate_element a { background: transparent; }

/* sprites, index page*/
a.index-menu {
display: block;
width: 100px;
height: 100px;
background: transparent url("../pix/index_icons-nq8.png") no-repeat;
}
#index-download a        { background-position: 0px    0px; }
#index-download:hover    { background-position: -100px 0px; }
#index-library           { background-position: 0px    -400px; }
#index-library:hover     { background-position: -100px -400px; }
#index-tour              { background-position: 0px    -100px; }
#index-tour:hover        { background-position: -100px -100px; }
#index-help              { background-position: 0px    -200px; }
#index-help:hover        { background-position: -100px -200px; }
#index-search            { background-position: 0px    -300px; }
#index-search:hover      { background-position: -100px -300px; }
#index-development       { background-position: 0px    -500px; }
#index-development:hover { background-position: -100px -500px; }
#index-sagenb            { background-position: 0px    -600px; }
#index-sagenb:hover      { background-position: -100px -600px; }

.bluebg {
background: #eff9ef;
padding: 15px;
}
a {
border: 0;
}
a, a:hover, a:visited, a:active {
color: #0f0fFF;
text-decoration: none;
cursor: pointer;
}
a:hover {
/*background: #e9e9f9;*/
color: #090999;
}

img:hover {
background-color:transparent;
}
img {
border: 0;
vertical-align: top;
}

div.random {
font-style: italic;
padding: 5px;
}

table.stories td  {padding-left: 15px; padding-right: 15px; padding-top: 45px;}
div.quote {
font-style: italic;
border-top: 1px #c9c9f9 solid;
}
div.quoteautor{
text-align: right;
padding-bottom: 15px;
padding-left: 30%;
border-top: 1px #c9c9f9 solid;
}

div.motd {
font-size: 120%; 
margin-top: 20px;
}

#source table tr.first td { font-size: 130%; border-bottom: 1px solid black;}
tr.odd td { background-color : #dfdfff; }
tr.even td { background-color : #e9e9f9; }

/* table for downloading compressed archives of the standard documentation */
/* table.docdownload th {
background-color: #b8b9f9;
padding-left: 7px;
padding-right: 7px;
}
tr td {
background-color: #dfdfff;
padding-left: 7px;
padding-right: 7px;
}
*/

span.code {
/*font-family: monospace;*/
font-family: "DejaVu Sans Mono", "Lucida Console", "Courier New", monospace;
font-size: 90%;
background-color: #dfdfff;
padding-left: 2px;
padding-right: 2px;
}
div.code, pre.code {
/*font-family: monospace;*/
font-family: "DejaVu Sans Mono", "Lucida Console", "Courier New", monospace;
font-size: 85%;
white-space: pre;
margin: 0;
}
.round {
-moz-border-radius: 10px;
-o-border-radius: 10px;
-webkit-border-radius: 10px;
border-radius: 10px;
}
.nowrap {
white-space: nowrap;
}

/* replace this later by their proper CSS3 styles */
.twocols {
column-count:2;
column-gap:2em;
-o-column-count:2;
-o-column-gap:2em;
-moz-column-count:2;
-moz-column-gap:2em;
-webkit-column-count:2;
-webkit-column-gap:2em;
}

div#header {
white-space: nowrap;
clear: both;
margin: 0;
padding:  10px 15px 0 15px;
overflow: hidden;
background: #efefff;

 border-top-left-radius: 15px;
 border-top-right-radius: 15px;
 -moz-border-radius-topleft: 15px;
 -moz-border-radius-topright: 15px;
 -webkit-border-top-left-radius: 15px;
 -webkit-border-top-right-radius: 15px;
}

#header-navbar {
clear: both;
}

#header-text {
white-space: nowrap;
margin-right: 0px;
/* float: right; */
text-align: right;
font-style: italic;
line-height: 24px;
}
form { padding:0; margin: 0; }
form[name="i18n"] > select {
border: 1px solid blue;
background: transparent;
}
#header-text form input {
background: transparent;
font-style: italic;
vertical-align: baseline;
}
#header-logo {
margin: 0;
margin-bottom: 15px;
padding: 0;
float: left;
font-size: 48px;
white-space: nowrap;
letter-spacing: 2px;
color: #0f0fff;
}
#header-logo img {
vertical-align: middle;
}

.raised {
  box-shadow: 0 3px 4px 0 rgba(0, 0, 0, 0.5);
}

.raised:hover {
  position: relative;
  top: 1px;
  box-shadow: 0 3px 3px 0 rgba(0, 0, 0, 0.5);
  transition: top 0.3s ease-out,
              box-shadow 0.1s ease-out;
}


#devmap a:hover, #devmap img:hover {
background: none;
}

h1, h2, h3 {
padding-left: 15px;
padding-right: 15px;
letter-spacing: 1px;
line-height: 15px;
text-align: left;
color: #0f0fff;
}
h1 {
margin-top: 35px;
margin-bottom: 25px;
font-size: 140%;
border-bottom: 2px solid #c9c9f9;
}
h2 {
margin-top: 30px;
font-size: 125%;
border-bottom: 1px solid #c9c9f9;
}
h3 {
margin-top: 25px;
font-size: 115%;
border-bottom: 1px dotted #c9c9f9;
}

div.mapzoom {
margin-left: auto;
margin-right: auto;
margin-top: 15px;
margin-bottom: 10px;
text-align: center;
font-size: 105%;
white-space: nowrap;
}
#source table {
margin-left: 0;
margin-right: 0;
width: 100%;
text-align: center;
}
#source table th {
border-bottom:2px solid black;
font-size:130%;
}
#source table td {
/*font-size: 85%;*/
padding: 2px 15px 2px 15px;
}
/*
div#bodycontent {
clear: both;
position: relative;
z-index:0;
margin-left: 0px;
margin-right: 0px;
}
*/
#bodycontent div {
/*margin-right: 15px;*/
/*padding-left: 15px;
padding-right: 15px;*/
}
.leftpadding { padding-left: 15px; }
.rightpadding { padding-right: 15px; }
div.bodypadding { padding-left: 15px; padding-right: 15px; }
div.topmargin { margin-top: 35px; }
div.txt, pre.txt { margin-bottom: 15px; }
.padding { padding-left: 15px; padding-right: 15px;
} .center { text-align: center; }
.narrow {
margin-left: auto;
margin-right: auto;
min-width: 600px;
width: 75%;
}
div.narrow {
  margin-bottom: 6px;
}
.justify { /*text-align: justify;*/ }
.right { text-align: right; }
.left  {  text-align: left; }
table.right {
margin-left: auto;
margin-right: 0px;
}

#animated-tab {
background-color:transparent;
position:absolute;
z-index: 1;
line-height:15px;
border-bottom:3px solid #7F7FFF;
margin: 0 0 0 0;
padding: 0 0 3px 0;
}
/***********/
#subnav {
clear: both;
text-align:right;
white-space: nowrap;
padding:0 15px 0 0;
margin-right: 0;
margin-left: 0;
font-size: 95%;
/*margin-bottom: -25px;
z-index:10;
position: relative;*/
}
#subnav a {
margin-left: 10px;
}
a.subnav-active {
border-bottom: 2px solid #7f7fff;
font-weight: bold;
}
/***********/
#cornerlinks {
position:fixed;
text-align: right;
padding: 0 5px 0 5px;
top:0;
right:0;
width:auto;
background-color: #b8b9f6;

}

#mirrorselector {
text-align: center;
}

#mirrorselector select {
background-color: #e9e9f9;
color: #0f0fff;
}

.hidden { display:none; }

#devmap {
width: 100%;
margin: 20px 0px;
}

#devlist-container {
padding: 0;
border-width: 1px;
border-color: gray;
border-style: dotted none dotted dotted;
height: 400px;
overflow: auto;
margin: 20px 15px 20px 15px;
}
table.devlist {
margin: 0 15px 0 15px;
padding: 0 5px 0 5px;
border-collapse: collapse;
font-size: 80%;
}

table.devlist tr { 
border-width: 1px;
border-color: gray;
border-style: dotted none dotted none;
vertical-align: top;
text-align: left;
padding: 2px 5px 2px 3px;
}
.highlight {
/*border: 1px solid #e9e9f9;*/
}
.highlight:hover {
background-color: #dfdfff;
/*border: 1px solid #7f7fff;*/
cursor: pointer;
}
table.devlist td {
padding-right: 3px;
}
table.devlist td.name {
white-space: nowrap;
font-weight: bold;
}

table.devlist td.description {
text-align: left;
}

table.devlist th {
border-width: 2px;
border-style: none none solid none;
border-color: black;
}
span.mname, a.mname {
white-space: nowrap;
font-weight: bold;
}
span.mloc {
font-size: 85%;
}
span.mwork{
font-size: 85%;
}
div.mdesc {
font-size: 85%;
}
div.mdesc ul {
padding: 3px 0 3px 1em;
margin: 0;
}
.trac {
text-align:right;
display:block;
font-style: italic;
font-size: 90%;
}
.center {
text-align: center;
}
.bigletter { 
float:left;
font-size:300%;
vertical-align: top;
line-height:100%;
padding-top:0px;
padding-right:5px;
}
.xlarge  { font-size: 140%; }
.large  { font-size: 110%; }
/*.medium { font-size: 90%; }*/
.xsmall { font-size: 75%; }
.small  { font-size: 85%; }
div#devcloud{
text-align: center;
font-size: 65%;
text-align: justify;
margin-left: 10px;
margin-right: 10px;
}
div#devcloud span {
vertical-align: middle;
white-space: nowrap;
margin: auto 3px;
}
span.border {
border: 1px dotted #000000;
padding-left: 15px;
padding-right: 15px;
}
div#footer {
width: 100%;
border-width: 1px;
border-style: solid none none none;
border-color: #7f7fff;
text-align: center;
margin: 15px 0 15px 0;

padding-top: 10px;
font-size: 75%;
}

table#sagesearch {
clear: both;
border-width: 1px;
border-color: gray;
border-collapse: collapse;
border-style: none;
vertical-align: top;
padding: 10px;
}
table#sagesearch td {
vertical-align: top;
}
div#googlesearchform {
width: 50%;
margin: 20px auto 15px auto;
}
div#savedsearch {
border: 1px dotted black;
font-size: 70%;
position:fixed;
bottom:0;
right:0;
width:10%;
min-width: 150px;
background-color: #b8b9f6;
}
div#searchstats {
text-align: center;
font-style: italic;
}
form.gsc-search-box input {
font-size: 120%;
border: 1px solid #7f7fff;
background-color: transparent;
}
input.gsc-search-button {
background-color:transparent;
border: 1px solid #7f7fff;
font-size: 120%;
}
.gsc-title {
font-weight: bold;
}
table .gsc-resultsHeader .gsc-title{
font-size: 15px;
color: #0f0fff;
}
table .gsc-resultsHeader {
border-bottom: 1px solid #7f7fff;
}
.gsc-resultsbox-visible {
padding: 15px;
font-size: 85%;
}
.gsc-tabsArea {
padding-left: 15px;
padding-right: 15px;
border-bottom: 1px solid #0f0fff;
}
.gsc-control {
width: 100%;
/*padding-left: 15px;
padding-right: 15px;*/
 }
.search-control { 
padding: 0;
/*margin: 20px; */
}
.gsc-tabHeader {
  display: inline;
  cursor: pointer;
  font-size: 80%;
  padding-left: 1px;
  padding-right: 1px;
  margin-right: 1px;
  margin-left: 1px;
  }

.gsc-tabHeader.gsc-tabhActive {
  border-left: 1px solid #0f0fff;
  border-right: 1px solid #0f0fff;
  border-top: 1px solid #0f0fff;
  border-bottom: 1px solid #e9e9f9;
  color: #090999;
  }

.gsc-tabHeader.gsc-tabhInactive {
  border-left: 1px solid #e9e9f9;
  border-right: 1px solid #e9e9f9;
  border-top: 1px solid #e9e9f9;
  background: #e9e9e9;
  color: #0f0fff;
  }

#searchdevel {
padding: 0;
}
fieldset {
border: 0;
padding: 0;
margin: 0;
}
/* google feed api style */
/* @see http://www.google.com/uds/solutions/dynamicfeed/gfdynamicfeedcontrol.css */

.gfg-root {
  width : 100%;
  height : auto;
  position : relative;
  overflow : hidden;
  text-align : center;
  font-family: sans-serif;
  font-size: 85%;
  border: 1px solid #7f7fff;
}

.gfg-title {
  font-size: 110%;
  font-weight : bold;
  color : #0f0fff;
  background-color: #c9c9f9;
  line-height : 1.4em;
  overflow : hidden;
  white-space : nowrap;
}

.gfg-title a {
  color : #0f0fff;
}

.gfg-subtitle {
  font-size: 100%;
  font-weight : bold;
  color : #0f0fff;
  background-color: #c9c9f9;
  line-height : 1.4em;
  overflow : hidden;
  white-space : nowrap;
  margin-bottom : 5px;
}

.gfg-subtitle a {
  color : #0f0fff;
}

.gfg-entry {
  background-color : #e9e9f9;
  width : 100%;
  height : 7em;
  position : relative;
  overflow : hidden;
  text-align : left;
  margin-top : 4px;
}

/* To allow correct behavior for overlay */
.gfg-root .gfg-entry .gf-result {
  position : relative;
  background-color : #ffffff;
  width : auto;
  height : 100%;
  padding-left : 20px;
  padding-right : 5px;
}

.gfg-list {
  position : relative;
  overflow : hidden;
  text-align : left;
  margin-bottom : 0px;
}

.gfg-listentry {
  line-height : 1.5em;
  overflow : hidden;
/*  white-space : nowrap;*/
  padding-left : 15px;
  padding-right : 5px;
  margin-left : 0px;
  margin-right : 0px;
}

.gfg-listentry-odd { background-color : #dfdfff; }
.gfg-listentry-even { background-color : #e9e9f9; }

.gfg-listentry-highlight { 
  background-image : url('../pix/feedarrow.gif');
  background-repeat: no-repeat;
  background-position : center left;
}

/* end google feed api style*/

hr {
border: 0;
size: 0;
background-color: #7f7fff;
color: #7f7fff; 
}

/*no dotted border when clicking*/
a:focus, a:active {
outline: 0;
-moz-outline: none;
color: #090999;
}

.bgblue {
background-color: #dfdfff;
}

/* new menu */
#sage-nav {
  list-style-type: none; height: 2em; padding: 0; margin: 0; clear:both;
  position: relative;
  z-index:2;
  white-space: nowrap;
  border-bottom: 1px solid #7f7fff;
  padding-left: 10px;
  background: #fff;
}
#sage-nav > li     { float: left; position: relative; padding: 0; line-height: 1em; }
#sage-nav > li a   { display: block; padding: 5px 15px 5px 5px; color: #090999; text-decoration: none; border: 1px solid transparent;}
#sage-nav > li > ul  {  display: none; opacity: 0;
  position: absolute; left: 0; min-width: 8em; background: #efefff; list-style-type: none; padding: 0; margin: 0 0 0px 0; 
  border: #0f0fff 1px solid; 
}
#sage-nav > li:hover, #sage-nav > li.hovered { box-shadow: 0 3px 4px 0 rgba(0, 0, 0, 0.5); }
#sage-nav > li:hover > ul, #sage-nav > li.hovered > ul {
    display: block; opacity: 1;
}
#sage-nav > li:hover > a, #sage-nav > li.hovered > a
    { background: #efefff; border: #0f0fff 1px solid; border-bottom: 0; z-index:10; position:relative; top: 1px}
#sage-nav > li > ul > li       { display: none; float: none; margin: 0; padding:0; position: static; height: 0; line-height: 0; background: none; border: 0;}
#sage-nav > li > ul > li > a {
border: 0;
display: none;
line-height: 0;
height: 0;
border: 0;
padding: 0;
margin: 0;
}
#sage-nav > li:hover   > ul,
#sage-nav > li.hovered > ul { box-shadow: 0 3px 4px 0 rgba(0, 0, 0, 0.5); }
#sage-nav > li:hover   > ul > li,
#sage-nav > li.hovered > ul > li {
display: block; 
height: 30px;
line-height: 30px;
background: #efefff;
}
#sage-nav > li:hover   > ul > li > a,
#sage-nav > li.hovered > ul > li > a {
background: #efefff;
border: 0;
display: block; 
height: 30px;
line-height: 30px;
padding: 0 5px; 
}
#sage-nav > li > ul > li > a       { background: #efefff; }
#sage-nav > li > ul > li > a:hover { background: #fff; }
#sage-nav > li > ul > li.section   { border-top: 1px solid #0f0fff; }
#save-nav > li:hover > a:hover { background: #fff; }

/*
#sage-nav > li           { transition: all 0.2s; }
#sage-nav > li > ul      { transition: all 0.2s; }
*/

#sage-nav a.ext::after {
  content: "\2197";
  padding-left: .3em;
}

/**** download table ****/
#mirror {
padding: 0;
margin: 0;
margin-top: 15px;
margin-bottom: 20px;
}
#mirror tr td {
vertical-align: top; 
padding-right: 15px;
padding-top: 10px;
padding-bottom: 5px;
font-size: 90%;
}
#mirror a {
line-height: 110%;
}
#mirror img {
vertical-align: baseline;
}

/**** old navbar *******/
#navbar {
clear: both;
width: 100%;
float: left;
margin: 0px 0 5px 0;
padding: 0 0 0 0;
border-bottom:1px solid #7F7FFF;
position: relative;
z-index: 2;
white-space: nowrap;
}

#navbar li {
float: right;
margin: 0;
padding: 0 15px 5px 0;
display: inline;
list-style:none;
position:relative;
z-index: 3;
}

#navbar a {
background-color:transparent;
border-bottom:0px solid #0F0FFF;
padding-bottom:0px;
white-space: nowrap;
float: left;
line-height:14px;
margin: 0 0 0 0;
text-decoration:none;
z-index: 3;
}

#navbar a.active:link, #navbar a.active:visited, #navbar a.active:hover {
color: #0F0FFF;
/*border:1px solid #669966;*/
font-weight: bold;
}
#navbar a:link, #navbar a:visited {
color: #0F0FFF;
}
#navbar a:hover, #navbar a.active:hover {
z-index: 2;
color: #090999;
}

#histats {
  background: transparent;
  cursor: pointer;
}