/*

http://jqueryui.com/download/#!version=1.10.3&components=1101000001110010000000000000000000&zThemeParams=5d000001001506000000000000003d8888d844329a8dfe02723de3e570162cf18d27450c454aa2f2e374d1d127fabb9ebc66c3ee5a70fb154870371702db6720bcd83f0ecbb2131337f10a086e219c538a2003e4a05b37f637b91dbf9e5ea1a30eee0ffb74635c67587b16e39b844855d43f178d7223e5844a27feed562a919e51a896a2b947ea0fe5769740cad2f353f43f6a6badb4f9f158f439cd0ec77f1c39bf311c9c328e70d7c078862964f803cfeb841e8f7d5c944dbec24d93e6f8096a02b769b976b7c435f6ee6b8cc66444023920a41270f305b7e9d576789ae017b7f8a16eaf3fddede704785a409c4fbbbe7481fb749e2ae44e8ec018139c9bdaad1ff148a94614b8bed98e577f2a12f376997fd9e196c9c2c4e8ade8e18f17a54d27413cfc22eb103a061cb0ace641d769abc84778c949297f6f00a2f8f502cbad9d937aace60187dbe5719bd8904bf7ad27999098ff61920ef5fc2ce8fc28088bfe4f049af0fad1091984f7cc7c512a75c11b0d0a81a1fd4a9aee0b0ef437e5370a72a1568ba3e12b2912e0c16c95f0a7db121b89833319b9b3d4d8508bce99ed91cf922da9c78511a24190d7a54d45882fc347df992d44a5223515862e741257e6920e3b32e5fe9c19f11f086f26e66f1e9ec94da3cb5f2dcc8be91cb5dc08236c670e97128b7e9dcf8dafebcda7ac193a3251395116da73002ca7756c07fbe44bbe5ebf232ca9146b55f92ec226878e01a55ccffba986c3

UniMan yellow: #ffd606
UniMan purple: #50007f

*/

* {
  color: #000060;
}

body {
  background-color: #f0f8ff;
  font-family: sans-serif;
  height: 100%;
  margin: 0;
}

h1 {
  background-image: url(jquery-ui/css/cupertino/images/ui-bg_glass_50_3baae3_1x400.png);
  background-position: left center;
  background-origin: padding-box;  
  background-repeat: repeat-x;
  border: 1px solid rgb(38, 148, 232);
  border-radius: 6px;
  color: white;
  font-size: 217%;
  font-weight: bold;
  margin: 0 0 5mm 0;
  padding: 1ex;
  position: relative;
  text-shadow: -1px -1px navy, 1px -1px navy, -1px 1px navy, 1px 1px navy, 0px 0px 1mm #40608f, 0px 0px 1mm #40608f, 0px 0px 1mm #40608f;
}

a {
  border-radius: 5px;
  color: blue;
  cursor: pointer;
  text-decoration: none;
}

a:hover {
  background-image: url(jquery-ui/css/cupertino/images/ui-bg_glass_50_3baae3_1x400.png);
  background-position: left center;
  background-repeat: repeat-x;
  border: 1px solid rgb(38, 148, 232);
  color: white;
}

h2 {
  color: navy;
}

div#content {
  background-color: white;
  line-height: 3.1ex;
  margin: auto;
  min-height: 100%;
/*  opacity: .79; */
  width: 800px;
}

div#content>div#inner {
  padding: 3mm;
}

div.item {
  background-color: #fffff0;
  border: 1px solid #50007f;
  margin: 2px 17mm 2px 17mm;
  padding: 3mm;
}

span.title {
  display: block;
  font-weight: bold;
  padding-bottom: 1mm;
}

div.item-link {
  display: inline-block;
  position: absolute;
  right: 5mm;
}

div.item-link>a:hover {
  background-image: none;
  color: blue;
}

div#infoBox {
  background-color: #f0f8ff;
  background-image: url(bg.jpg);
  background-repeat: no-repeat;
  background-position: center 5ex;
  position: relative;
}

div#infoBox>div {
  background: transparent;
}

div#searchLine {
  background-color: #f0f8ff;
  border-bottom: 1px solid rgb(38, 148, 232);
  border-top: 1px solid rgb(38, 148, 232);
  border-radius: 0;
  padding: 2mm 3mm;
}

input#searchBox {
  background-color: #fbfeff;
  border-radius: 6px;
  height: 3.7ex;
}

div.refs, div.also {
  margin-top: 3mm;
}

span.refTitle, span.alsoTitle {
  font-weight: bold;
  margin-right: 1mm;
}

ol.refs, ul.also {
  margin-top: 1mm;
}

h3 a:hover, div#current a {
  margin: 0;
  color: blue !important;
}

h3 a:hover, div#current a:hover {
  border: none;
  color: white !important;
}

div.definition a {
  border: 1px dotted rgba(0, 127, 255, .2);
  color: #000080 !important;
  margin: 0;
  padding: 1px;
  background-color: rgba(0, 255, 255, .05);
}

div.definition a:hover {
  border: none;
  color: #c0ffff !important;
  padding: 2px;
  text-shadow: 0px 1px 3px rgba(0, 0, 128, .5), 1px 0px 3px rgba(0, 0, 128, .5), 0px -1px 3px rgba(0, 0, 128, .5), -1px 0px 3px rgba(0, 0, 128, .5);
}

div#current {
  height: 31px;
  overflow: hidden;
  padding: 0;
  text-align: center;
  width: 31px;
}

div#current span {
  display: inline-block;
}

div#current>a>span {
  padding: 7px;
}

h3 span {
  background-image: url(jquery-ui/css/cupertino/images/ui-icons_3d80b3_256x240.png) !important;
}

h3>div.item-link {
  margin: -3px;
  padding: 5px;
}

div#loader {
  background: url(loading.gif) no-repeat center center;
  display: inline-block;
  height: 32px;
  margin: 0 3mm 0 0;
  vertical-align: bottom;
  visibility: hidden;
  width: 32px;
}

.loading {
  visibility: visible !important;
}

div.theorem, div.corollary {
  background-color: white;
  border: 1px solid rgb(38, 148, 232);
  border-radius: 6px;
  margin: 2mm 7mm;
  padding: 2mm;
}

span.thmtitle {
  font-weight: bold;
  margin: 0 .5ex 0 0;
}

span.thmname {
  margin: 0 .5ex 0 0;
}

span.itemTitle {
  font-weight: bold;
}

span.itemDesc {
  font-size: 83%;
  font-style: oblique;
}

span.itemFound {
  color: green;
  font-weight: bold;
}

span.bf {
  color: #000080;
  font-weight: bold;
  text-shadow: 0px 0px 3px rgba(0, 255, 255, .5);
}

span.em {
  color: #000080;
  font-style: italic;
  text-shadow: 0px 0px 3px rgba(0, 255, 255, .5);
}