DIV.tright {
	BORDER-TOP-WIDTH: 0.5em; CLEAR: right; BORDER-LEFT-WIDTH: 1.4em; FLOAT: right; BORDER-BOTTOM-WIDTH: 0.8em; BORDER-RIGHT-WIDTH: 0px
}
DIV.tleft {
	BORDER-TOP-WIDTH: 0.5em; BORDER-LEFT-WIDTH: 0px; FLOAT: left; BORDER-BOTTOM-WIDTH: 0.8em; MARGIN-RIGHT: 0.5em; BORDER-RIGHT-WIDTH: 1.4em
}
.hiddenStructure {
	DISPLAY: none; speak: none
}
IMG.tex {
	VERTICAL-ALIGN: middle
}
SPAN.texhtml {
	FONT-FAMILY: serif
}
TABLE.rimage {
	FLOAT: right; MARGIN-BOTTOM: 1em; MARGIN-LEFT: 1em; POSITION: relative; TEXT-ALIGN: center
}
.toccolours {
	BORDER-RIGHT: #aaa 1px solid; PADDING-RIGHT: 5px; BORDER-TOP: #aaa 1px solid; PADDING-LEFT: 5px; FONT-SIZE: 95%; PADDING-BOTTOM: 5px; BORDER-LEFT: #aaa 1px solid; PADDING-TOP: 5px; BORDER-BOTTOM: #aaa 1px solid; BACKGROUND-COLOR: #f9f9f9
}
DIV.townBox {
	CLEAR: right; BORDER-RIGHT: gray 1px solid; PADDING-RIGHT: 0.3em; BORDER-TOP: gray 1px solid; PADDING-LEFT: 0.3em; BACKGROUND: white; FLOAT: right; PADDING-BOTTOM: 0.3em; MARGIN-LEFT: 1em; OVERFLOW: hidden; BORDER-LEFT: gray 1px solid; WIDTH: 200px; PADDING-TOP: 0.3em; BORDER-BOTTOM: gray 1px solid; POSITION: relative
}
DIV.townBox DL {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-SIZE: 96%; PADDING-BOTTOM: 0px; MARGIN: 0px 0px 0.3em; PADDING-TOP: 0px
}
DIV.townBox DL DT {
	BACKGROUND: none transparent scroll repeat 0% 0%; MARGIN: 0.4em 0px 0px
}
DIV.townBox DL DD {
	MARGIN: 0.1em 0px 0px 1.1em; BACKGROUND-COLOR: #f3f3f3
}
.special LI {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; LINE-HEIGHT: 1.4em; PADDING-TOP: 0px
}
.autocomment {
	COLOR: gray
}
#pagehistory SPAN.user {
	MARGIN-LEFT: 1.4em; MARGIN-RIGHT: 0.4em
}
#pagehistory SPAN.minor {
	FONT-WEIGHT: bold
}
#pagehistory LI {
	BORDER-RIGHT: white 1px solid; BORDER-TOP: white 1px solid; BORDER-LEFT: white 1px solid; BORDER-BOTTOM: white 1px solid
}
#pagehistory LI.selected {
	BORDER-RIGHT: #aaa 1px dashed; BORDER-TOP: #aaa 1px dashed; BORDER-LEFT: #aaa 1px dashed; BORDER-BOTTOM: #aaa 1px dashed; BACKGROUND-COLOR: #f9f9f9
}
TABLE.diff {
	BACKGROUND-COLOR: white
}
TD.diff-otitle {
	BACKGROUND-COLOR: white
}
TD.diff-ntitle {
	BACKGROUND-COLOR: white
}
TD.diff-addedline {
	FONT-SIZE: smaller; BACKGROUND: #cfc
}
TD.diff-deletedline {
	FONT-SIZE: smaller; BACKGROUND: #ffa
}
TD.diff-context {
	FONT-SIZE: smaller; BACKGROUND: #eee
}
SPAN.diffchange {
	FONT-WEIGHT: bold; COLOR: red
}
UNKNOWN {
	COLOR: #057
}
UNKNOWN {
	PADDING-RIGHT: 16px; BACKGROUND: url(lock_icon.gif) no-repeat right center
}
UNKNOWN {
	PADDING-RIGHT: 18px; BACKGROUND: url(mail_icon.gif) no-repeat right center
}
UNKNOWN {
	PADDING-RIGHT: 18px; BACKGROUND: url(news_icon.png) no-repeat right center
}
UNKNOWN {
	PADDING-RIGHT: 18px; BACKGROUND: url(file_icon.gif) no-repeat right center
}
UNKNOWN {
	PADDING-RIGHT: 18px; BACKGROUND: url(discussionitem_icon.gif) no-repeat right center
}
#bodyContent A.extiw {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; COLOR: #36b; PADDING-TOP: 0px
}
#bodyContent A.extiw:active {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; COLOR: #36b; PADDING-TOP: 0px
}
#bodyContent A.external {
	COLOR: #057
}
#bodyContent .plainlinks A {
	PADDING-RIGHT: 0px! important; PADDING-LEFT: 0px! important; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px! important; PADDING-TOP: 0px! important
}
.portlet {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; PADDING-LEFT: 0px; FLOAT: none; PADDING-BOTTOM: 0px; MARGIN: 0px 0px 0.5em; OVERFLOW: hidden; BORDER-LEFT: medium none; WIDTH: 11.6em; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
.portlet H4 {
	FONT-WEIGHT: normal; FONT-SIZE: 95%; WHITE-SPACE: nowrap
}
.portlet H5 {
	PADDING-RIGHT: 1em; DISPLAY: inline; PADDING-LEFT: 0.5em; FONT-WEIGHT: normal; FONT-SIZE: 91%; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; TEXT-TRANSFORM: lowercase; PADDING-TOP: 0px; WHITE-SPACE: nowrap; HEIGHT: 1em
}
.portlet H6 {
	BORDER-RIGHT: #2f6fab 1px solid; PADDING-RIGHT: 1em; BORDER-TOP: #2f6fab 1px solid; DISPLAY: block; PADDING-LEFT: 1em; FONT-WEIGHT: normal; FONT-SIZE: 1em; BACKGROUND: #ffae2e; PADDING-BOTTOM: 0px; TEXT-TRANSFORM: lowercase; BORDER-LEFT: #2f6fab 1px solid; PADDING-TOP: 0px; BORDER-BOTTOM: #2f6fab 1px; WHITE-SPACE: nowrap; HEIGHT: 1.2em
}
.pBody {
	
}
.portlet LI {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; PADDING-TOP: 0px
}
#p-logo {
	Z-INDEX: 3; LEFT: 0px; OVERFLOW: visible; WIDTH: 12em; POSITION: absolute; TOP: 0px; HEIGHT: 155px
}
#p-logo H5 {
	DISPLAY: none
}
#p-logo A {
	BACKGROUND-POSITION: 35% 50%; DISPLAY: block; WIDTH: 12.2em; BACKGROUND-REPEAT: no-repeat; HEIGHT: 155px; TEXT-DECORATION: none
}
#p-logo A:hover {
	BACKGROUND-POSITION: 35% 50%; DISPLAY: block; WIDTH: 12.2em; BACKGROUND-REPEAT: no-repeat; HEIGHT: 155px; TEXT-DECORATION: none
}
#p-navigation {
	Z-INDEX: 3; POSITION: relative
}
#p-navigation .pBody {
	PADDING-RIGHT: 0px
}
#p-navigation A {
	DISPLAY: block
}
#p-navigation LI.active A {
	DISPLAY: inline; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
#p-navigation LI.active A:hover {
	DISPLAY: inline; FONT-WEIGHT: bold; TEXT-DECORATION: none
}
#p-search {
	Z-INDEX: 3; POSITION: relative
}
INPUT.searchButton {
	MARGIN-TOP: 1px; FONT-SIZE: 95%
}
#searchGoButton {
	PADDING-RIGHT: 0.5em; PADDING-LEFT: 0.5em; FONT-WEIGHT: bold
}
#searchInput {
	FONT-SIZE: 95%; MARGIN: 0px; WIDTH: 10.9em
}
#p-search .pBody {
	PADDING-RIGHT: 0.4em; PADDING-LEFT: 0.4em; PADDING-BOTTOM: 0.4em; PADDING-TOP: 0.5em; TEXT-ALIGN: center
}
#p-personal {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; OVERFLOW: visible; BORDER-LEFT: medium none; WIDTH: 100%; LINE-HEIGHT: 1.2em; PADDING-TOP: 0px; BORDER-BOTTOM: medium none; WHITE-SPACE: nowrap; POSITION: absolute; TOP: 87px
}
#p-personal H5 {
	DISPLAY: none
}
#p-personal .portlet {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; MARGIN: 0px; OVERFLOW: visible; BORDER-LEFT: medium none; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
#p-personal .pBody {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; MARGIN: 0px; OVERFLOW: visible; BORDER-LEFT: medium none; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
#p-personal UL {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 2em; BORDER-TOP: medium none; PADDING-LEFT: 3em; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; MARGIN: 0px; TEXT-TRANSFORM: lowercase; BORDER-LEFT: medium none; CURSOR: default; COLOR: #2f6fab; LINE-HEIGHT: 1.4em; PADDING-TOP: 0px; BORDER-BOTTOM: medium none; LIST-STYLE-TYPE: none; TEXT-ALIGN: right
}
#p-personal LI {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; DISPLAY: inline; PADDING-LEFT: 0px; BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0px; MARGIN-LEFT: 1em; BORDER-LEFT: medium none; COLOR: #2f6fab; LINE-HEIGHT: 1.2em; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
#p-personal LI.active {
	FONT-WEIGHT: bold
}
#p-personal LI A {
	BACKGROUND: none transparent scroll repeat 0% 0%; PADDING-BOTTOM: 0.2em; COLOR: #005896; TEXT-DECORATION: none
}
#p-personal LI A:hover {
	PADDING-BOTTOM: 0.2em; BACKGROUND-COLOR: white; TEXT-DECORATION: none
}
#p-personal LI.active A:hover {
	BACKGROUND-COLOR: transparent
}
LI#pt-userpage {
	PADDING-LEFT: 20px; BACKGROUND: url(user.gif) no-repeat left top; TEXT-TRANSFORM: none
}
LI#pt-anonuserpage {
	PADDING-LEFT: 20px; BACKGROUND: url(user.gif) no-repeat left top; TEXT-TRANSFORM: none
}
LI#pt-login {
	PADDING-LEFT: 20px; BACKGROUND: url(user.gif) no-repeat left top; TEXT-TRANSFORM: none
}
#p-cactions {
	PADDING-LEFT: 1em; FONT-SIZE: 12px; BACKGROUND: none transparent scroll repeat 0% 0%; LEFT: 11.5em; MARGIN: 0px; OVERFLOW: visible; WIDTH: 76%; LINE-HEIGHT: 1.1em; WHITE-SPACE: nowrap; LIST-STYLE-TYPE: none; POSITION: absolute; TOP: 101px; BORDER-COLLAPSE: collapse
}
#p-cactions .hiddenStructure {
	DISPLAY: none
}
#p-cactions UL {
	LIST-STYLE-TYPE: none
}
#p-cactions LI {
	BORDER-RIGHT: #aaa 1px solid; PADDING-RIGHT: 0px; BORDER-TOP: #aaa 1px solid; DISPLAY: inline; PADDING-LEFT: 0px; BACKGROUND: white; PADDING-BOTTOM: 0.1em; MARGIN: 0px 0.3em 0px 0px; OVERFLOW: visible; BORDER-LEFT: #aaa 1px solid; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
#p-cactions LI.selected {
	PADDING-RIGHT: 0px; PADDING-LEFT: 0px; FONT-WEIGHT: bold; BORDER-LEFT-COLOR: #fabd23; BORDER-BOTTOM-COLOR: #fabd23; PADDING-BOTTOM: 0.2em; BORDER-TOP-COLOR: #fabd23; PADDING-TOP: 0px; BORDER-RIGHT-COLOR: #fabd23
}
#p-cactions LI A {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0.8em; BORDER-TOP: medium none; PADDING-LEFT: 0.8em; PADDING-BOTTOM: 0.3em; MARGIN: 0px; TEXT-TRANSFORM: lowercase; BORDER-LEFT: medium none; COLOR: #002bb8; PADDING-TOP: 0px; BORDER-BOTTOM: medium none; POSITION: relative; BACKGROUND-COLOR: #fbfbfb; TEXT-DECORATION: none
}
#p-cactions LI.selected A {
	PADDING-RIGHT: 1em! important; PADDING-LEFT: 1em! important; Z-INDEX: 3; PADDING-BOTTOM: 0.2em! important; PADDING-TOP: 0px! important; BACKGROUND-COLOR: #fff
}
#p-cactions .new A {
	COLOR: #ba0000
}
#p-cactions LI A:hover {
	Z-INDEX: 3; BACKGROUND-COLOR: #fff; TEXT-DECORATION: none
}
#p-cactions H5 {
	DISPLAY: none
}
#p-cactions LI.istalk {
	MARGIN-RIGHT: 0px
}
#p-cactions LI.istalk A {
	PADDING-RIGHT: 0.5em
}
#p-cactions #ca-addsection A {
	PADDING-RIGHT: 0.4em; PADDING-LEFT: 0.4em
}
LI#ca-talk {
	MARGIN-RIGHT: 1.6em
}
LI#ca-watch {
	MARGIN-LEFT: 1.6em
}
LI#ca-unwatch {
	MARGIN-LEFT: 1.6em
}
LI#ca-varlang-0 {
	MARGIN-LEFT: 1.6em
}
LI#ca-print {
	MARGIN-LEFT: 1.6em
}
#p-tbx {
	Z-INDEX: 3; POSITION: relative
}
#p-lang {
	Z-INDEX: 3; POSITION: relative
}
#t-ispermalink {
	COLOR: #999
}
#t-iscite {
	COLOR: #999
}
#footer {
	PADDING-RIGHT: 0px; BORDER-TOP: #fabd23 1px solid; PADDING-LEFT: 0px; FONT-SIZE: 90%; PADDING-BOTTOM: 1.2em; MARGIN: 0.6em 0px 1em; PADDING-TOP: 0.4em; BORDER-BOTTOM: #fabd23 1px solid; BACKGROUND-COLOR: white; TEXT-ALIGN: center
}
#footer LI {
	DISPLAY: inline; MARGIN: 0px 1.3em
}
UNKNOWN {
	WHITE-SPACE: nowrap
}
#f-poweredbyico {
	MARGIN: 0px 8px; POSITION: relative; TOP: -2px
}
#f-copyrightico {
	MARGIN: 0px 8px; POSITION: relative; TOP: -2px
}
#f-poweredbyico {
	FLOAT: right; HEIGHT: 1%
}
#f-copyrightico {
	FLOAT: left; HEIGHT: 1%
}
#preftoc {
	CLEAR: both; PADDING-RIGHT: 0px; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; WIDTH: 100%; PADDING-TOP: 0px
}
#preftoc LI {
	BORDER-RIGHT: #716f64 1px solid; PADDING-RIGHT: 0px; BORDER-TOP: #fff 1px solid; PADDING-LEFT: 0px; Z-INDEX: 3; FLOAT: left; LIST-STYLE-IMAGE: none; PADDING-BOTTOM: 3px; MARGIN: 1px -2px 1px 2px; BORDER-LEFT: #fff 1px solid; COLOR: #000; PADDING-TOP: 2px; BORDER-BOTTOM: 0px; WHITE-SPACE: nowrap; LIST-STYLE-TYPE: none; POSITION: relative; BACKGROUND-COLOR: #f0f0f0
}
#preftoc LI.selected {
	BORDER-RIGHT: #aaa 1px solid; BORDER-TOP: #aaa 1px solid; FONT-WEIGHT: bold; BORDER-LEFT: #aaa 1px solid; CURSOR: default; MARGIN-RIGHT: -3px; PADDING-TOP: 2px; BORDER-BOTTOM: medium none; TOP: 1px; BACKGROUND-COLOR: #f9f9f9
}
UNKNOWN {
	TOP: 2px
}
#preftoc A {
	PADDING-RIGHT: 0.7em; DISPLAY: block; PADDING-LEFT: 0.7em; PADDING-BOTTOM: 0px; COLOR: #000; PADDING-TOP: 0px; POSITION: relative; TEXT-DECORATION: none
}
#preftoc A:active {
	PADDING-RIGHT: 0.7em; DISPLAY: block; PADDING-LEFT: 0.7em; PADDING-BOTTOM: 0px; COLOR: #000; PADDING-TOP: 0px; POSITION: relative; TEXT-DECORATION: none
}
#preftoc LI.selected A {
	CURSOR: default; TEXT-DECORATION: none
}
#prefcontrol {
	CLEAR: both; PADDING-TOP: 2em
}
#preferences {
	CLEAR: both; BORDER-RIGHT: #aaa 1px solid; PADDING-RIGHT: 1.5em; BORDER-TOP: #aaa 1px solid; PADDING-LEFT: 1.5em; PADDING-BOTTOM: 1.5em; MARGIN: 0px; BORDER-LEFT: #aaa 1px solid; PADDING-TOP: 1.5em; BORDER-BOTTOM: #aaa 1px solid; BACKGROUND-COLOR: #f9f9f9
}
.prefsection {
	BORDER-RIGHT: medium none; PADDING-RIGHT: 0px; BORDER-TOP: medium none; PADDING-LEFT: 0px; PADDING-BOTTOM: 0px; MARGIN: 0px; BORDER-LEFT: medium none; PADDING-TOP: 0px; BORDER-BOTTOM: medium none
}
.prefsection FIELDSET {
	BORDER-RIGHT: #aaa 1px solid; BORDER-TOP: #aaa 1px solid; FLOAT: left; BORDER-LEFT: #aaa 1px solid; MARGIN-RIGHT: 2em; BORDER-BOTTOM: #aaa 1px solid
}
.prefsection LEGEND {
	FONT-WEIGHT: bold
}
.prefsection TABLE {
	BACKGROUND-COLOR: #f9f9f9
}
.prefsection LEGEND {
	BACKGROUND-COLOR: #f9f9f9
}
.mainLegend {
	DISPLAY: none
}
DIV.prefsectiontip {
	CLEAR: both; PADDING-RIGHT: 0.7em; MARGIN-TOP: 0px; PADDING-LEFT: 0.7em; FONT-SIZE: 95%; PADDING-BOTTOM: 0.2em; PADDING-TOP: 0.2em; BACKGROUND-COLOR: #ffc1c1
}