html,body{height:100%;width:100%;margin:0px;padding:0px;}body{font-size:smaller;font-family:Verdana, Arial, Helvetica, Sans-Serif;color:black;background-color:transparent;overflow-x:hidden;}a{text-decoration:none;color:#002bb8;background:none;}a:visited{color:#5a3696;}a:active{color:#faa700;}a:hover{text-decoration:underline;}a.stub{color:#772233;}a.new,#p-personal a.new{color:#ba0000;}a.new:visited,#p-personal a.new:visited{color:#a55858;}img{border:none;vertical-align:middle;}p{margin:.4em 0 .5em 0;line-height:1.5em;}p img{margin:0;}hr{height:1px;color:#aaa;background-color:#aaa;border:0;margin:.2em 0 .2em 0;}h1,h2,h3,h4,h5,h6{color:black;background:none;font-weight:normal;margin:0;padding-top:.5em;padding-bottom:.17em;border-bottom:1px solid #aaa;}h1{font-size:188%;}h2,h3.heading-1{font-size:150%;}h3,h4,h5,h6{border-bottom:none;font-weight:bold;}h3{font-size:132%;}h4{font-size:116%;}h5{font-size:100%;}h6{font-size:80%;}ul{line-height:1.5em;list-style-type:square;margin:.3em 0 0 1.5em;padding:0;list-style-image:url(../../skins/common/images/bullet.gif);}ol{line-height:1.5em;margin:.3em 0 0 3.2em;padding:0;list-style-image:none;}li{margin-bottom:.1em;}dt{font-weight:bold;margin-bottom:.1em;}dl{margin-top:.2em;margin-bottom:.5em;}dd{line-height:1.5em;margin-left:2em;margin-bottom:.1em;}fieldset{border:1px solid #2f6fab;margin:1em 0 1em 0;padding:0 1em 1em;line-height:1.5em;}legend{background:white;padding:.5em;font-size:95%;}form{border:none;margin:0;}input.historysubmit{padding:0 .3em .3em .3em !important;font-size:94%;cursor:pointer;height:1.7em !important;margin-left:1.6em;}select{vertical-align:top;}abbr,acronym,.explain{border-bottom:1px dotted black;color:black;background:none;cursor:help;}q{font-family:Times, "Times New Roman", serif;font-style:italic;}code,.code{background-color:#f9f9f9;font-family:monospace;}pre{padding:1em;border:1px dashed #2f6fab;color:black;background-color:#f9f9f9;line-height:1.1em;overflow:auto;}#main{width:100%;height:auto;padding:2px;margin:2px;table-layout:fixed;}#column-left, #column-right{padding:2px;vertical-align:top;font-size:90%;}#column-left{width:150px;}#column-right{padding-top:29px;width:200px;}#column-center{vertical-align:top;width:auto;}#perspectives .dijitTabPaneWrapper{min-height:100%;overflow-x:hidden;width:100%;}#perspectives .dijitTabPane{height:100%;overflow-x:hidden;width:100%;}.perspective-body{padding:5px;min-height:650px;}.typeContent{width:95%;}.typeContent table{width:100%;}.content{width:97%;overflow-x:hidden;min-height:100%;padding:5px;}.siteSub{font-size:84%;font-weight:normal;margin-bottom:.1em;padding-bottom:.17em;padding-top:.1em;border-bottom:1px solid #aaa;}#contentSub{font-size:84%;line-height:1.2em;margin:0 0 1.4em 1em;color:#7d7d7d;width:auto;}span.subpages{display:block;}.bodyContent h1,.bodyContent h2{margin-bottom:.6em;}.bodyContent h3,.bodyContent h4,.bodyContent h5{margin-bottom:.3em;}.firstHeading{border-bottom:none;margin-bottom:0;padding-bottom:0;}.small, .small *, #toc .toctoggle, .toc .toctoggle{font-size:94%;}table.small{font-size:100%;}#toc,.toc{border:1px solid #aaa;background-color:#f9f9f9;padding:5px;font-size:95%;}#toc h2,.toc h2{display:inline;border:none;padding:0;font-size:100%;font-weight:bold;}#toc #toctitle,.toc #toctitle,#toc .toctitle,.toc .toctitle{text-align:center;}#toc ul,.toc ul{list-style-type:none;list-style-image:none;margin-left:0;padding-left:0;text-align:left;}#toc ul ul,.toc ul ul{margin:0 0 0 2em;}div.floatright,table.floatright{clear:right;float:right;position:relative;margin:0 0 .5em .5em;border:0;}div.floatright p, div.floatleft p{font-style:italic;}div.floatleft,table.floatleft{float:left;position:relative;margin:0 .5em .5em 0;border:0;}div.thumb{border-color:white;border-style:solid;margin-bottom:0.5em;width:auto;}div.thumbinner{background-color:#F9F9F9;border:1px solid #CCCCCC;font-size:94%;overflow:hidden;padding:3px !important;text-align:center;}html .thumbimage{border:1px solid #CCCCCC;}html .thumbcaption{border:0;font-size:94%;line-height:1.4em;padding:3px !important;text-align:left;}div.magnify{background:transparent none repeat scroll 0% !important;border:medium none !important;float:right;}div.magnify a,div.magnify img{background:transparent none repeat scroll 0% !important;border:medium none !important;display:block;}div.tright{clear:right;float:right;border-width:.5em 0 .8em 1.4em;}div.tleft{float:left;margin-right:.5em;border-width:.5em 1.4em .8em 0;}img.thumbborder{border:1px solid #DDDDDD;}#bodyContent a.external, .bodyContent a.external{background:url(../../skins/common/images/external.png) center right no-repeat;padding-right:13px;}.bodyContent a[href ^="https://"],.link-https{background:url(../../skins/common/images/lock_icon.gif) center right no-repeat;padding-right:16px;}.bodyContent a[href ^="mailto:"],.link-mailto{background:url(../../skins/common/images/mail_icon.gif) center right no-repeat;padding-right:18px;}.bodyContent a[href ^="news://"]{background:url(../../skins/common/images/news_icon.png) center right no-repeat;padding-right:18px;}.bodyContent a[href ^="ftp://"],.link-ftp{background:url(../../skins/common/images/file_icon.gif) center right no-repeat;padding-right:18px;}.bodyContent a[href ^="irc://"],.link-irc{background:url(../../skins/common/images/discussionitem_icon.gif) center right no-repeat;padding-right:18px;}table.metadata{font-size:0.8em;margin-left:0.5em;margin-bottom:0.5em;}table.metadata caption{font-weight:bold;}table.metadata th{font-weight:normal;}table.metadata td{padding:0.1em;}table.metadata{border:none;border-collapse:collapse;}table.metadata td,table.metadata th{text-align:center;border:1px solid #aaaaaa;padding-left:0.1em;padding-right:0.1em;}table.metadata th{background-color:#f9f9f9;}table.metadata td{background-color:#fcfcfc;}.center, .float-center{text-align:center;}.center *{margin-left:auto;margin-right:auto;}.float-right{float:right;}.float-left{float:left;}.delta-old-revision{float:left;width:49%;border:1px dashed blue;font-family:monospace;}.delta-new-revision{float:right;width:49%;border:1px dashed blue;font-family:monospace;}.delta-delete{background-color:#ff5050;}.delta-insert{background-color:#00ff00;}.delta-change{background-color:#ffff33;}.namespace-list table{border:1px solid black;background-color:#ffffe6;}.namespace-list table td{padding-left:5px;padding-right:5px;}.search-preview{font-style:italic;font-size:smaller;background-color:#ffffe6;border:1px solid #cccccc;padding:2px;height:4.5em;overflow:hidden;}.rc-timestamp{font-style:italic;font-size:smaller;color:#333333;}.warning{margin:1em;padding:1em;background-color:#ff9999;border:2px solid red;}.notice{margin:1em;padding:1em;background-color:#ffffe6;border:1px solid orange;}a.direct-type{color:black;}a.indirect-type{color:#999999;font-style:italic;}.typeContent{font-size:80%;margin-bottom:2em;max-width:100%;}.typeContent table{border-collapse:collapse;empty-cells:show;overflow:visible;}.typeContent td{padding:0;padding-right:2ex;overflow:visible;min-width:20ex;vertical-align:top;}.imgShow{text-align:center;width:55%;}.imgShow img{border:1px solid gray;padding:2px;max-width:90%;}.imgDescription{border:1px solid gray;margin:10px;width:55%;}.wiklet{margin:1em;margin-top:2em;}.error{background-color:#ffdddd;border:2px solid red;padding:5px;margin:5px;color:black;padding-bottom:2em;}.error a#back{float:right;bottom:2px;right:2px;}.preview-error{background-color:#ffdddd;color:black;}.bodyContent .error{font-size:larger;}.editor{border:1px dashed red;padding:5px;}.mceContentBody{background-color:#ffffff;}.mceEditor{margin-right:10px;}table.recent-changes{border:1px solid black;width:94%;margin-top:20px;margin-left:3%;margin-right:3%;border-collapse:collapse;}table.recent-changes th{background-color:#ffffcc;text-align:left;font-weight:bold;}table.recent-changes tr.change-heading td{border-top:1px solid black;background-color:#ffeeee;}table.recent-changes td{padding-left:2px;padding-right:2px;}.add-type img, .delete-type img{margin-left:2px;margin-bottom:2px;}.portlet-title{padding:0.5%;margin:0.5%;margin-bottom:0;text-align:center;background-color:#94beff;border:1px solid #94beff;font-size:smaller;}.portlet-content{padding:0.5%;margin:0.5%;margin-top:0;text-align:left;background-color:#ffffff;border:1px solid #94beff;font-size:smaller;overflow:hidden;}.editor-option-title{padding:0.5%;margin:0.5%;margin-bottom:0;text-align:left;background-color:#eeeeee;border:1px solid #eeeeee;font-size:smaller;padding:2px;font-weight:bold;color:blue;text-decoration:underline;}.editor-option-content{padding:0.5%;margin:0.5%;margin-top:0;text-align:left;background-color:#ffffff;border:1px solid #eeeeee;font-size:smaller;overflow:hidden;}a.disabled{color:#aaaaaa;}.messageDialog{background:#dfd;border:1px solid #999;-moz-border-radius:5px;padding:4px;}.errorDialog{background:#fdd;border:1px solid #999;-moz-border-radius:5px;padding:4px;}.references-tree{font-size:smaller;}span.invalid,span.missing{display:inline;margin-left:1em;font-weight:bold;font-style:italic;font-family:Arial, Verdana, sans-serif;color:#f66;font-size:0.9em;}#footer{height:36px;width:100%;border-top:1px solid #94beff;border-bottom:1px solid #94beff;vertical-align:middle;padding:1px;margin-bottom:2px;}#footer-left{float:left;display:block;width:94px;height:15px;margin:2px;background:transparent url(../../skins/common/images/rssbutton.png) 0 0 no-repeat;}#footer-right{float:right;display:block;width:76px;height:32px;margin:2px;background:transparent url(../../skins/common/images/rdf_metadata_button.32.gif) 0 0 no-repeat;}#footer-center{width:100%;text-align:center;vertical-align:middle;}#status-area{top:5px;right:5px;position:absolute;}#status-progress{float:right;}.form{overflow:hidden;max-width:80%;}.form table{width:100%;overflow:hidden;}.form table td{padding-bottom:5px;}.form-header, .form-footer{width:100%;text-align:center;}.form-header{display:none;font-weight:bold;}.form-disabled{display:none;}.form-enabled{display:inline;}#form-account_preferences{width:350px;}#form-login, #form-logout{width:400px;}#form-import{width:500px;}#form-flush_caches, #form-reinit_system, #form-rebuild_index{width:50%;}#form-search_results, #form-recent_changes{width:60%;height:auto;}#form-search_results .dijitDialogPaneContent, #form-recent_changes .dijitDialogPaneContent{height:530px;}#form-search_results #sr-resultbox, #form-recent_changes #rc-resultbox{margin-top:1em;height:80%;overflow-y:hidden;}#form-search_results ol, #form-recent_changes ol{line-height:1.5em;margin:.5em 0 0 .5em;padding:0;list-style-image:none;}#form-namespaces, #form-export{width:800px;}#form-actionsets{width:60%;}#form-create_resource, #form-create_class, #form-create_multimedia, #form-create_property, #form-create_template, #form-delete{width:500px;}#history-previous, .left-buttons{float:left;margin:10px;}#history-next, .right-buttons{float:right;margin:10px;}.diff-added{background-color:#aaffaa;}.diff-removed{background-color:#ffaaaa;text-decoration:line-through;}.diff-renamed{background-color:yellow;}* html div.tableContainer{width:95%;border:1px solid #ccc;height:600px;overflow-x:hidden;overflow-y:auto;}#form_namespaces th{text-align:left;}#form-namespaces .dijitContentPane{overflow:hidden;}.tableContainer table{width:100%;border-collapse:collapse;}.scrollContent{overflow-x:hidden;overflow-y:auto;height:380px;width:100%;}table.exif{float:right;top:25%;right:5px;margin:0.5em;border:1px solid #aaaaaa;border-collapse:collapse;width:40%;font-size:75%;}table.exif caption{font-weight:bold;background-color:#dddddd;}table.exif th{font-weight:bold;text-align:center;font-size:133%;}table.exif td,table.exif th{padding:0;padding-left:4px;padding-right:4px;vertical-align:top;}table.exif th{background-color:#eeeeee;}table.exif td{min-height:1em;max-height:2em;overflow:hidden;background-color:#fcfcfc;}table.exif td.spacer{background:inherit;border-top:none;border-bottom:none;}.dijitTreeContent{cursor:pointer;}.dijitTreeExpando{cursor:pointer;}.editPane{background-color:#fffefb;margin:5px;width:98%;overflow:visible;}#richtext, #post_content{overflow:visible;width:98%;padding:10px;}.summaryPane{background-color:#fffefb;margin:5px;width:98%;}.button-box{display:block;text-align:right;padding-right:3%;}.button-box .dojoButton{float:right;margin-right:10px;width:50px;height:20px;}.edit-button{width:110px;height:22px;text-align:left;}.edit-button-img{margin-right:5px;margin-left:0;float:left;}#edit-save{width:20px;height:20px;background:transparent url(../../skins/common/images/floppy.png) 0 0 no-repeat;}#edit-cancel{margin-top:4px;width:12px;height:12px;background:transparent url(../../skins/common/images/button_cancel.png) 0 0 no-repeat;}.sparql-query, .script-ruby-onsave, .script-ruby-onrender{white-space:pre;}#action-set-list th{text-align:left;padding:5px;}#action-set-list td{padding:5px;vertical-align:top;}td.as-firstRow{background-color:yellow;}#form-manage_users, #form-manage_roles{width:80%;height:600px;}#form-manage_users .scrollContent, #form-manage_roles .scrollContent{height:480px;}#form-manage_users div.manage-container{width:100%;height:520px;}#form-manage_users table.user-summary, #form-manage_roles table.role-summary{margin-top:10px;padding:5px;border-collapse:collapse;width:100%;}#form-manage_users table.user-summary th, #form-manage_roles th{text-align:left;padding:5px;background-color:#808080;}#form-manage_users table.user-summary td{padding:2px;width:16%;}#form-manage_roles td{padding:2px;}#form-manage_users #manage-users-lastentry input{width:100%;}#form-manage_users .accLabel, #form-manage_roles .accLabel{border:1px solid black;background:#808080;color:#fff;font-weight:bold;padding:2px;}#form-manage_users .accBody, #form-manage_roles .accBody{overflow:auto;width:100%;border:1px solid #808080;}#form-manage_users .permission-p, #form-manage_roles .permission-p{background-color:#aaffaa;}#form-manage_users .permission-r, #form-manage_roles .permission-r{background-color:#ffaaaa;}table.userlist{border:1px solid black;width:94%;margin-top:20px;margin-left:3%;margin-right:3%;font-size:90%;border-collapse:collapse;}table.userlist tr{border-bottom:1px solid #666666;}table.userlist th{background-color:#ffffcc;text-align:left;font-weight:bold;}table.userlist tr.even td{background-color:#ffeeee;}table.userdata{border:1px solid black;width:94%;margin-top:20px;margin-left:3%;margin-right:3%;border-collapse:collapse;}table.userdata th{background-color:#ffffcc;text-align:left;font-weight:bold;border-bottom:1px solid black;}table.permissionlist{border:1px solid black;width:94%;margin-top:10px;margin-left:1%;margin-right:1%;border-collapse:collapse;font-size:90%;}table.permissionlist tr.permission{border-top:1px solid #666666;}table.permissionlist tr.description{display:none;}table.permissionlist th{background-color:#ffffcc;text-align:left;font-weight:bold;}table.permissionlist td{padding-left:2px;padding-right:2px;}table.permissionlist tr.even td{background-color:#ffeeee;}table.taxobox{border-collapse:collapse;border:1px solid gray;float:right;margin-left:0.5em;}table.taxobox th{background-color:#ffc0c0;border:solid 1px gray;text-align:center;font-weight:bold;}table.taxobox td{vertical-align:top;}table.taxobox .Person{font-style:normal;}table.taxobox div.thumb,table.taxobox div.thumb *{margin:0;padding:0;float:none;border:none;}table.taxobox div.magnify{display:none;}table.taxobox tr td div.thumb div div.thumbcaption{text-align:center;}table.taxobox td.Person{text-align:center;display:block;}table.taxobox td.taxo-name{text-align:center;}table.taxobox td.taxo-bild{text-align:center;}.post{border:2px solid #e5b10c;margin:5px;width:70%;}.post-title{background-color:#e5b10c;border:1px solid #e5b10c;}.post-title .post-title-subject{font-weight:bold;width:50%;}.post-title .post-title-author{font-weight:bold;width:40%;text-align:right;}.post-title .post-title-date{width:40%;text-align:right;font-size:70%;}.post-reply{text-align:right;width:100%;}.reply-button, .post-new-button{width:60px;}.thread-0{margin-left:5px;}.thread-1{margin-left:5%;}.thread-2{margin-left:10%;}.thread-3{margin-left:15%;}.thread-4{margin-left:20%;}.thread-5{margin-left:25%;}.button-disabled span, .dijitTabDisabled{color:#aaaaaa;}.button-enabled span{color:#000000;}.language-buttons{position:absolute;right:10px;float:right;font-size:80%;z-index:10;}.lang-disabled{color:#888888;}.lang-selected{color:red;}.sparql-noresult{border:1px dashed red;background:#ffdddd;padding:2px;color:red;font-weight:bolder;}.annotations-general{width:100%;padding:5px;text-align:center;}.highlight{background-color:#ffdddd;}.included-template{border:1px solid rgb(170, 170, 170);padding:1ex;margin-left:0px;margin-top:10px;margin-bottom:20px;background-color:rgb(246, 249, 237);}#column-right .dijitFolderClosed, #column-right .dijitFolderOpened, #column-right .dijitLeaf{background:transparent;width:0;height:0;padding-right:0;}a#logo{display:block;width:136px;height:135px;background:transparent url(../../skins/common/images/swim_logo_135.png) 0 0 no-repeat;}ul#socialise{list-style-type:none;list-style-image:none;margin-left:0;}ul#socialise li span{width:10px;height:10px;display:block;float:left;margin-top:3px;}ul#socialise li{height:18px;}ul#socialise li a{margin-left:4px;}#socialise_digg{background:transparent url(../../skins/common/images/social_network_icons.png) 0 0 no-repeat;}#socialise_yahoo{background:transparent url(../../skins/common/images/social_network_icons.png) -10px 0 no-repeat;}#socialise_delicious{background:transparent url(../../skins/common/images/social_network_icons.png) -20px 0 no-repeat;}#socialise_magnolia{background:transparent url(../../skins/common/images/social_network_icons.png) -30px 0 no-repeat;}#socialise_furl{background:transparent url(../../skins/common/images/social_network_icons.png) -40px 0 no-repeat;}#socialise_permalink{background:transparent url(../../skins/common/images/social_network_icons.png) -50px 0 no-repeat;}#socialise_permalink{background:transparent url(../../skins/common/images/social_network_icons.png) -50px 0 no-repeat;}.article-actions{position:absolute;right:10px;float:right;width:36px;top:20px;z-index:10;}.article-actions a{width:16px;height:16px;display:block;margin-top:3px;}#article-action-print{background:transparent url(../../skins/common/images/action_icons.png) 0 0 no-repeat;float:left;}#article-action-pdf{background:transparent url(../../skins/common/images/action_icons.png) -16px 0 no-repeat;float:right;}.nodeCurrent{background-color:#ff9999;}.post-agrees_with{background:transparent url(../../skins/common/images/icons/argumentation-Agree.png) 0 0 no-repeat;}.post-disagrees_with{background:transparent url(../../skins/common/images/icons/argumentation-Disagree.png) 0 0 no-repeat;}.post-neutral_towards{background:transparent url(../../skins/common/images/icons/argumentation-Neutral.png) 0 0 no-repeat;}.post-supports{background:transparent url(../../skins/common/images/icons/argumentation-Support.png) 0 0 no-repeat;}.post-challenges{background:transparent url(../../skins/common/images/icons/argumentation-Challenge.png) 0 0 no-repeat;}.post-Idea{background:transparent url(../../skins/common/images/icons/argumentation-Idea.png) 0 0 no-repeat;}.post-Issue{background:transparent url(../../skins/common/images/icons/argumentation-Issue.png) 0 0 no-repeat;}.post-Elaboration{background:transparent url(../../skins/common/images/icons/argumentation-Elaboration.png) 0 0 no-repeat;}.post-Decision{background:transparent url(../../skins/common/images/icons/argumentation-Decision.png) 0 0 no-repeat;}@import url("../../skins/openmath/css/formula-button.css");@import url("../../skins/openmath/css/fragment-link.css");.link-to-this-fragment{font-size:x-small !important;}#perspective-edit_annotations table.omdoc > thead > tr > th, #perspective-article table.omdoc > thead > tr > th{background-color:#ffdddd;}#perspective-edit_annotations table.omdoc > tbody > tr > td, #perspective-article table.omdoc > tbody > tr > td{background-color:#ffdddd;}span.omdoc-rendered-mobj{font-size:150%;}@namespace xlink url(http://www.w3.org/1999/xlink);span.math{font-style:oblique;color:#006600;}div.displaymath{font-style:oblique;display:block;text-align:center;color:#006600;}math{color:#006600;}*[xlink|href]{cursor:pointer;}div.dc-titleblock{width:100%;border-style:inset;border-color:#222222;border-width:2pt;margin:10px 0px 10px 0px;border:0px #cc9900 solid;border-bottom-width:2px;padding-bottom:12px;line-height:normal;}div.dc-title{background-color:#6699cc;color:#ffffff;display:block;padding:7px 15px 7px 15px;border:0px #cc9900 solid;border-bottom-width:2px;font-family:verdana, tahoma, century gothic, gothic l, arial, helvetica, sans-serif;font-size:18px;font-weight:bold;letter-spacing:-2;text-align:left;}div.dc-authors:before, div.dc-date:before, div.dc-description:before{padding:0px;margin:0px;display:inline;font-weight:bold;}div.dc-authors:before{content:"Written by: ";}div.dc-date:before{content:"Date: ";}div.dc-description:before{content:"Description: ";}div.dc-authors, div.dc-date, div.dc-description{display:block;margin:2px 15px;margin-left:36px;}div.dc-authors{padding-top:10px;}div.omdoc-titlebox{font-weight:bold;}div.omdoc-counterexample, div.omdoc-exercise{display:block;margin:15px 72px;padding:10px;border:1px #000000 outset;color:#000000;}span.omdoc-titleword{color:#336699;text-transform:uppercase;font-size:11px;}div.omdoc-omtext{width:100%;margin:5mm 5mm 5mm 5mm;margin-bottom:0pt;padding:1pt;}div.omdoc-quote{font-size:larger;width:80%;font-family:sans-serif;}div.omdoc-caption{font-size:smaller;font-style:italic;align:right;}div.omdoc-annotation{font-size:smaller;color:gray;}div.omdoc-ednote{font-size:smaller;background-color:red;}span.omdoc-titleword{font-weight:bold;}span.omdoc-titleword:after{content:": ";}div.omdoc-titlebox{padding:0pt;}div.omdoc-assertion, div.omdoc-definition, div.omdoc-lemma, div.omdoc-proof, div.omdoc-axiom, div.omdoc-symbol, div.omdoc-example{display:block;margin:10px 0px 10px 0px;}div.omdoc-FMP{margin:5px 0px;}span.omdoc-noteref:before{content:"[";}span.omdoc-noteref:after{content:"]";}span.omdoc-notenumber:before{content:"[";}span.omdoc-notenumber:after{content:"]";}div.omdoc-proof{width:80%;margin-left:0.5em;font-size:medium;}div.omdoc-Fitch-box{border-left:2px solid black;margin-left:0.2em;}div.omdoc-Fitch-flag{margin-top:2px;margin-bottom:2px;border-top:2px solid black;border-right:2px solid black;border-bottom:2px solid black;padding-left:0.5em;}div.omdoc-derive{padding-left:0em;}span.omdoc-plineno{font-weight:bold;color:darkred;}span.omdoc-justification{}span.omdoc-justification-method{padding-left:1em;}span.omdoc-justification-premises{padding-left:1em;}div.omdoc-migration{color:red;font-size:smaller;}table.omdoc-notation{border-collapse:collapse;}table.omdoc-notation td, table.omdoc-notation th{border:1px solid;}button.omcd_formula{width:15em;}button.omcd_formula.omcd_active{background-color:#AAFFAA;}button.omcd_formula.omcd_inactive{background-color:#CCCCCC;}.link-to-this-fragment{font-size:small;font-weight:normal;float:right;margin-left:0px;}