-body {\r
- background-color: white;\r
- font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;\r
-}\r
-\r
-#rawStatementContent {\r
- font-size: 80%;\r
-}\r
-\r
-h2 {\r
- background-color: steelblue;\r
- color: white;\r
- padding: 1px 1ex 1px 1ex;\r
- border: darkslategray 3px solid;\r
- font-size: medium;\r
- font-variant: small-caps;\r
-}\r
-\r
-#top {\r
- padding: 5px 5px 5px 5px;\r
- margin: 0px 0px 10px 0px;\r
-}\r
-\r
-#uri {\r
- font-family: Consolas, monospace;\r
-}\r
-\r
-#resource_id {\r
- font-size: larger;\r
- font-family: Consolas, monospace;\r
-}\r
-\r
-#resourceInfoContent {\r
- font-size: medium;\r
-}\r
-\r
-#attachedValue {\r
- background-color: powderblue;\r
- padding: 0px 1ex 0px 1ex;\r
- border: #9f9f9f 1px solid;\r
-}\r
-\r
-#immutable {\r
- background-color: indianred;\r
- color: white;\r
- padding: 0px 1ex 0px 1ex;\r
- margin-left: 2px;\r
- border: #9f9f9f 1px solid;\r
-}\r
-\r
-blockquote {\r
- border: black 1px solid;\r
- padding: 2px 5px 2px 5px;\r
- background-color: #f8f8f8;\r
- font-family: Consolas, monospace;\r
-}\r
-\r
-h4 {\r
- font-size: small;\r
- font-weight: bold;\r
- font-variant: normal;\r
-}\r
-\r
-table {\r
- font-size: small;\r
-}\r
-\r
-td {\r
- background-color: #fdfdc8;\r
- color: black;\r
- border: #9f9f9f 1px solid;\r
- padding: 2px 5px 2px 5px;\r
- vertical-align: text-top;\r
-}\r
-\r
-th {\r
- font-size: small;\r
- font-weight: normal;\r
- background-color: #30804f;\r
- color: white;\r
- border: #b0b0b0 1px solid;\r
- padding: 5px 5px 5px 5px;\r
-}\r
-\r
-.monospaced, a.monospaced {\r
- font-family: 'Consolas', 'Courier', 'monospace';\r
-}\r
-\r
-\r
-a:visited {\r
- color: blue;\r
-}\r
-\r
-.resourceType, .resourceType a {\r
- color: gray;\r
-}\r
-\r
-\r
-.border {\r
- padding: 5px 5px 5px 5px;\r
- border-bottom: black 1px solid;\r
-}\r
-\r
-table.top {\r
- background-color: #ffffff;\r
- border: #d0d0d0 0px solid;\r
-}\r
-\r
-td.top_key {\r
- background-color: #ffffff;\r
- font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;\r
- border: #e0e0e0 0px solid;\r
- color: #3f3f3f;\r
- padding-right: 24px;\r
-}\r
-\r
-td.top_value {\r
- border: #cfcfcf 1px solid;\r
- color: #3f3f3f;\r
- background-color: #fdfdfd;\r
- padding: 5px 10px 5px 10px;\r
-}\r
-\r
-td.asserted\r
-{\r
- background-color: #ffd0b6;\r
-}\r
-\r
-td.subtitle\r
-{\r
- background-color: #5898ef;\r
- color: white;\r
- border: #9f9f9f 1px solid;\r
-}\r
-\r
-td.remove\r
-{\r
- background-color: #ffd0d0;\r
-}\r
-\r
-td.empty\r
-{\r
- background-color: White;\r
-}\r
-\r
-.edit-link\r
-{\r
- font-size: xx-small;\r
-}\r
-\r
-\r
-/* ------------------\r
- Copied from workbench search CSS.\r
- */\r
-\r
-input#search {\r
- font-size: smaller;\r
- background-color: #f8fffa;\r
- margin-left: auto;\r
- margin-right: auto;\r
- margin-top: 1ex;\r
- margin-bottom: 0ex;\r
- padding: 5pt;\r
- -moz-box-sizing: border-box;\r
- box-sizing: border-box;\r
- width: 100%;\r
-}\r
-\r
-hr {\r
- border: 0;\r
- width: 100%;\r
- background-color: #cacaca;\r
- height: 1px;\r
-}\r
-\r
-.dataTables_filter {\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-ol {\r
- list-style-type: none;\r
- padding-left: 0;\r
- margin-left: 0;\r
-}\r
-\r
-li {\r
- padding-left: 0;\r
- margin-left: 0;\r
-}\r
-\r
-div.result {\r
- margin: 1ex;\r
- border: 1px solid #f4f4f4;\r
- padding: 1ex;\r
-}\r
-\r
-div.result:hover {\r
- background-color: #fafafa;\r
-}\r
-\r
-.small {\r
- font-size: x-small;\r
-}\r
-\r
-.emph:hover {\r
- background-color: #d0d0d0;\r
-}\r
-\r
-.small:hover {\r
- background-color: #e0e0e0;\r
-}\r
-\r
-.result:hover {\r
- background-color: #dadada;\r
-}\r
-\r
-.ui-tabs {\r
- font-size: x-small;\r
-}\r
-\r
-table.tablesorter .css_right {\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-.dataTables_length {\r
- float: left;\r
-}\r
-\r
-div.dataTables_wrapper .ui-widget-header {\r
- font-weight: normal;\r
- font-size: small;\r
-}\r
-\r
-.dataTables_wrapper .ui-toolbar {\r
- padding: 5px;\r
-}\r
-\r
-.dataTables_info {\r
- float: left;\r
- padding: 3px 0px;\r
-}\r
-\r
-.dataTables_paginate {\r
- float: right;\r
- text-align: right;\r
-}\r
-\r
-.dataTables_paginate .ui-button {\r
- margin-right: -0.1em !important;\r
-}\r
-\r
-.paging_full_numbers .ui-button {\r
- padding: 2px 6px;\r
- margin: 0;\r
- cursor: pointer;\r
- * cursor: hand;\r
- color: #333 !important;\r
-}\r
+body {
+ background-color: white;
+ font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
+}
+
+#rawStatementContent {
+ font-size: 80%;
+}
+
+h2 {
+ background-color: steelblue;
+ color: white;
+ padding: 1px 1ex 1px 1ex;
+ border: darkslategray 3px solid;
+ font-size: medium;
+ font-variant: small-caps;
+}
+
+#top {
+ padding: 5px 5px 5px 5px;
+ margin: 0px 0px 10px 0px;
+}
+
+#uri {
+ font-family: Consolas, monospace;
+}
+
+#resource_id {
+ font-size: larger;
+ font-family: Consolas, monospace;
+}
+
+#resourceInfoContent {
+ font-size: medium;
+}
+
+#attachedValue {
+ background-color: powderblue;
+ padding: 0px 1ex 0px 1ex;
+ border: #9f9f9f 1px solid;
+}
+
+#immutable {
+ background-color: indianred;
+ color: white;
+ padding: 0px 1ex 0px 1ex;
+ margin-left: 2px;
+ border: #9f9f9f 1px solid;
+}
+
+blockquote {
+ border: black 1px solid;
+ padding: 2px 5px 2px 5px;
+ background-color: #f8f8f8;
+ font-family: Consolas, monospace;
+}
+
+h4 {
+ font-size: small;
+ font-weight: bold;
+ font-variant: normal;
+}
+
+table {
+ font-size: small;
+}
+
+td {
+ background-color: #fdfdc8;
+ color: black;
+ border: #9f9f9f 1px solid;
+ padding: 2px 5px 2px 5px;
+ vertical-align: text-top;
+}
+
+th {
+ font-size: small;
+ font-weight: normal;
+ background-color: #30804f;
+ color: white;
+ border: #b0b0b0 1px solid;
+ padding: 5px 5px 5px 5px;
+}
+
+.monospaced, a.monospaced {
+ font-family: 'Consolas', 'Courier', 'monospace';
+}
+
+
+a:visited {
+ color: blue;
+}
+
+.resourceType, .resourceType a {
+ color: gray;
+}
+
+
+.border {
+ padding: 5px 5px 5px 5px;
+ border-bottom: black 1px solid;
+}
+
+table.top {
+ background-color: #ffffff;
+ border: #d0d0d0 0px solid;
+}
+
+td.top_key {
+ background-color: #ffffff;
+ font-family: Calibri, "Lucida Grande", Tahoma, Helvetica, Arial, sans-serif;
+ border: #e0e0e0 0px solid;
+ color: #3f3f3f;
+ padding-right: 24px;
+}
+
+td.top_value {
+ border: #cfcfcf 1px solid;
+ color: #3f3f3f;
+ background-color: #fdfdfd;
+ padding: 5px 10px 5px 10px;
+}
+
+td.asserted
+{
+ background-color: #ffd0b6;
+}
+
+td.subtitle
+{
+ background-color: #5898ef;
+ color: white;
+ border: #9f9f9f 1px solid;
+}
+
+td.remove
+{
+ background-color: #ffd0d0;
+}
+
+td.empty
+{
+ background-color: White;
+}
+
+.edit-link
+{
+ font-size: xx-small;
+}
+
+
+/* ------------------
+ Copied from workbench search CSS.
+ */
+
+input#search {
+ font-size: smaller;
+ background-color: #f8fffa;
+ margin-left: auto;
+ margin-right: auto;
+ margin-top: 1ex;
+ margin-bottom: 0ex;
+ padding: 5pt;
+ -moz-box-sizing: border-box;
+ box-sizing: border-box;
+ width: 100%;
+}
+
+hr {
+ border: 0;
+ width: 100%;
+ background-color: #cacaca;
+ height: 1px;
+}
+
+.dataTables_filter {
+ float: right;
+ text-align: right;
+}
+
+ol {
+ list-style-type: none;
+ padding-left: 0;
+ margin-left: 0;
+}
+
+li {
+ padding-left: 0;
+ margin-left: 0;
+}
+
+div.result {
+ margin: 1ex;
+ border: 1px solid #f4f4f4;
+ padding: 1ex;
+}
+
+div.result:hover {
+ background-color: #fafafa;
+}
+
+.small {
+ font-size: x-small;
+}
+
+.emph:hover {
+ background-color: #d0d0d0;
+}
+
+.small:hover {
+ background-color: #e0e0e0;
+}
+
+.result:hover {
+ background-color: #dadada;
+}
+
+.ui-tabs {
+ font-size: x-small;
+}
+
+table.tablesorter .css_right {
+ float: right;
+ text-align: right;
+}
+
+.dataTables_length {
+ float: left;
+}
+
+div.dataTables_wrapper .ui-widget-header {
+ font-weight: normal;
+ font-size: small;
+}
+
+.dataTables_wrapper .ui-toolbar {
+ padding: 5px;
+}
+
+.dataTables_info {
+ float: left;
+ padding: 3px 0px;
+}
+
+.dataTables_paginate {
+ float: right;
+ text-align: right;
+}
+
+.dataTables_paginate .ui-button {
+ margin-right: -0.1em !important;
+}
+
+.paging_full_numbers .ui-button {
+ padding: 2px 6px;
+ margin: 0;
+ cursor: pointer;
+ * cursor: hand;
+ color: #333 !important;
+}