mirror.dongdigua.github.io/css/main.css

@media all
{
    body {
        font-family: "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important;
        font-size: 14px;
        line-height: 21px;
        color: #333;

        max-width: 62em;
        margin: auto;
    }
    body #content {
        padding-top: 30px;
    }
    body .title {
        margin-left: 0;
    }

    #org-div-home-and-up{
        position: fixed;
        right: 0;
        top: 4em;
    }

    /* TOC inspired by http://jashkenas.github.com/coffee-script */
    #table-of-contents {
        z-index: 100;
        font-size: 10pt;
        position: fixed;
        right: 0em;
        top: 0em;
        background: white;
        -webkit-box-shadow: 0 0 0.5em #777777;
        -moz-box-shadow: 0 0 0.5em #777777;
        -webkit-border-bottom-left-radius: 5px;
        -moz-border-radius-bottomleft: 5px;
        text-align: right;
        /* ensure doesn't flow off the screen when expanded */
        max-height: 80%;
        overflow: auto; 
    }
    #table-of-contents h2 {
        font-size: 10pt;
        max-width: 9em;
        font-weight: normal;
        padding-left: 0.5em;
        padding-left: 0.5em;
        padding-top: 0.05em;
        padding-bottom: 0.05em; 
    }

    #table-of-contents #text-table-of-contents {
        display: none;
        text-align: left; 
    }
    #table-of-contents:hover #text-table-of-contents {
        display: block;
        padding: 0.5em;
        margin-top: -1.5em; 
    }

    #table-of-contents #text-table-of-contents ul {
        list-style-position: outside;
    }

    /* #license { */
    /*   padding: .3em; */
    /*   border: 1px solid gray; */
    /*   background-color: #eeeeee; */
    /* } */

    h1 {
        /*
          font-family:Sans;
          font-weight:bold; */
        font-size:2.1em;
        padding:0 0 30px 0;
        margin-top: 10px;
        margin-bottom: 10px;
        color: #333;
    }

    h2 {
        font-family:Arial,sans-serif;
        font-size:1.45em;
        line-height:16px;
        padding:7px 0 0 0;
        color: #666;
    }

    .outline-text-2 {
        margin-left: 0.1em
    }

    .title {

    }

    h3 {
        font-family:Arial,sans-serif;
        font-size:1.3em;
        color: #666;
        margin-left: 0.6em;
    }

    .outline-text-3 {
        margin-left: 0.9em;
    }

    h4 {
        font-family:Arial,sans-serif;
        font-size:1.2em;
        margin-left: 1.2em;
        color: #666;
    }

    .outline-text-4 {
        margin-left: 1.45em;
    }

    a {
        cursor: crosshair;
        text-decoration: none; 
        color: #39c5bb;
    }
    /* a:visited {text-decoration: none; color: #224444} */ /* Taken out because color too similar to text. */
    a:visited {
        text-decoration: none; 
        color: #39c5bb;
    }  /* this is now the color of the Unicorns horn */
    a:hover {
        text-decoration: underline; 
        color: #39c5bb;
    }

    ul, ol {
        padding-left: 2em;
    }

    ul {
    list-style-type: square;
    list-style-image: inherit;
    list-style-position: outside;
    }
    ol {
    list-style-type: decimal;
    list-style-position: outside;
    }
    ol ol {
    list-style-type: lower-alpha;
    }

    .todo {
        color: #CA0000;
    }

    .done {
        color: #006666;
    }

    .timestamp-kwd {
        color: #444;
    }

    .tag {

    }

    li {
        margin: .4em;
    }

    table {
        border: none;
        margin: auto;
        margin-top: 10px;
        margin-bottom: 10px;
    }

    td {
        border: none;
        border-left: 1px solid black;
    }

    th {
        border: none;
    }

    table.full {
    }

    table.full td {
    border: 1px solid black;
    padding: 5px;
    }

    code {
        font-size: 100%;
        color: black;
        border: 1px solid #DEDEDE;
        padding: 0px 0.2em;
    }

    img {
        border: none;
    }

    .share img {
        opacity: .4;
        -moz-opacity: .4;
        filter: alpha(opacity=40);
    }

    .share img:hover {
        opacity: 1;
        -moz-opacity: 1;
        filter: alpha(opacity=100);
    }

    /* pre {border: 1px solid #555; */
    /*      background: #EEE; */
    /*      font-size: 9pt; */
    /*      padding: 1em; */
    /*     } */

    /* pre { */
    /*     color: #e5e5e5; */
    /*     background-color: #000000; */
    /*     padding: 1.4em; */
    /*     border: 2px solid gray; */
    /* } */

    /* pre { */
    /*     background-color: #2b2b2b; */
    /*     border: 4px solid gray; */
    /*     color: #EEE; */
    /*     overflow: auto; */
    /*     padding: 1em; */
    /*  } */

    pre {
        font-family: Monaco, Consolas, "Lucida Console", monospace;
        color: black;
        background-color: #ffffff;
        padding: 1.2em;
        /* border: 1px solid #dddddd; */
        overflow: auto;

        /*
        -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
        -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
        box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
        */
    }

    div.summary {
        padding: 15px;
        border:1px solid #CCC;
        border-radius:10px;
        -moz-border-radius:10px;
        -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
        -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
        box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
    }

    div.summary h2 {
        padding: 0;
        margin: 0;
    }

    .org-info-box {
        clear:both;
        margin-left:auto;
        margin-right:auto;
        padding:0.7em;
    /* border:1px solid #CCC; */
    /* border-radius:10px; */
    /* -moz-border-radius:10px; */
    }
    .org-info-box img {
        float:left;
        margin:0em 0.5em 0em 0em;
    }
    .org-info-box p {
        margin:0em;
        padding:0em;
    }


    .builtin {
        /* font-lock-builtin-face */
        color: #f4a460;
    }
    .comment {
        /* font-lock-comment-face */
        color: #737373;
    }
    .comment-delimiter {
        /* font-lock-comment-delimiter-face */
        color: #666666;
    }
    .constant {
        /* font-lock-constant-face */
        color: #db7093;
    }
    .doc {
        /* font-lock-doc-face */
        color: #b3b3b3;
    }
    .function-name {
        /* font-lock-function-name-face */
        color: #5f9ea0;
    }
    .headline {
        /* headline-face */
        color: #ffffff;
        background-color: #000000;
        font-weight: bold;
    }
    .keyword {
        /* font-lock-keyword-face */
        color: #4682b4;
    }
    .negation-char {
    }
    .regexp-grouping-backslash {
    }
    .regexp-grouping-construct {
    }
    .string {
        /* font-lock-string-face */
        color: #ccc79a;
    }
    .todo-comment {
        /* todo-comment-face */
        color: #ffffff;
        background-color: #000000;
        font-weight: bold;
    }
    .variable-name {
        /* font-lock-variable-name-face */
        color: #ff6a6a;
    }
    .warning {
        /* font-lock-warning-face */
        color: #ffffff;
        background-color: #cd5c5c;
        font-weight: bold;
    }
    pre.a {
        color: inherit;
        background-color: inherit;
        font: inherit;
        text-decoration: inherit;
    }
    pre.a:hover {
        text-decoration: underline;
    }

    /* Styles for org-info.js */

    .org-info-js_info-navigation
    {
        border-style:none;
    }

    #org-info-js_console-label
    {
        font-size:10px;
        font-weight:bold;
        white-space:nowrap;
    }

    .org-info-js_search-highlight
    {
        background-color:#ffff00;
        color:#000000;
        font-weight:bold;
    }

    #org-info-js-window
    {
        border-bottom:1px solid black;
        padding-bottom:10px;
        margin-bottom:10px;
    }



    .org-info-search-highlight
    {
        background-color:#adefef; /* same color as emacs default */
        color:#000000;
        font-weight:bold;
    }

    .org-bbdb-company {
        /* bbdb-company */
        font-style: italic;
    }
    .org-bbdb-field-name {
    }
    .org-bbdb-field-value {
    }
    .org-bbdb-name {
        /* bbdb-name */
        text-decoration: underline;
    }
    .org-bold {
        /* bold */
        font-weight: bold;
    }
    .org-bold-italic {
        /* bold-italic */
        font-weight: bold;
        font-style: italic;
    }
    .org-border {
        /* border */
        background-color: #000000;
    }
    .org-buffer-menu-buffer {
        /* buffer-menu-buffer */
        font-weight: bold;
    }
    .org-builtin {
        /* font-lock-builtin-face */
        color: #da70d6;
    }
    .org-button {
        /* button */
        text-decoration: underline;
    }
    .org-c-nonbreakable-space {
        /* c-nonbreakable-space-face */
        background-color: #ff0000;
        font-weight: bold;
    }
    .org-calendar-today {
        /* calendar-today */
        text-decoration: underline;
    }
    .org-comment {
        /* font-lock-comment-face */
        color: #b22222;
    }
    .org-comment-delimiter {
        /* font-lock-comment-delimiter-face */
        color: #b22222;
    }
    .org-constant {
        /* font-lock-constant-face */
        color: #5f9ea0;
    }
    .org-cursor {
        /* cursor */
        background-color: #000000;
    }
    .org-default {
        /* default */
        color: #000000;
        background-color: #ffffff;
    }
    .org-diary {
        /* diary */
        color: #ff0000;
    }
    .org-doc {
        /* font-lock-doc-face */
        color: #bc8f8f;
    }
    .org-escape-glyph {
        /* escape-glyph */
        color: #a52a2a;
    }
    .org-file-name-shadow {
        /* file-name-shadow */
        color: #7f7f7f;
    }
    .org-fixed-pitch {
    }
    .org-fringe {
        /* fringe */
        background-color: #f2f2f2;
    }
    .org-function-name {
        /* font-lock-function-name-face */
        color: #0000ff;
    }
    .org-header-line {
        /* header-line */
        color: #333333;
        background-color: #e5e5e5;
    }
    .org-help-argument-name {
        /* help-argument-name */
        font-style: italic;
    }
    .org-highlight {
        /* highlight */
        background-color: #b4eeb4;
    }
    .org-holiday {
        /* holiday */
        background-color: #ffc0cb;
    }
    .org-info-header-node {
        /* info-header-node */
        color: #a52a2a;
        font-weight: bold;
        font-style: italic;
    }
    .org-info-header-xref {
        /* info-header-xref */
        color: #0000ff;
        text-decoration: underline;
    }
    .org-info-menu-header {
        /* info-menu-header */
        font-weight: bold;
    }
    .org-info-menu-star {
        /* info-menu-star */
        color: #ff0000;
    }
    .org-info-node {
        /* info-node */
        color: #a52a2a;
        font-weight: bold;
        font-style: italic;
    }
    .org-info-title-1 {
        /* info-title-1 */
        font-size: 172%;
        font-weight: bold;
    }
    .org-info-title-2 {
        /* info-title-2 */
        font-size: 144%;
        font-weight: bold;
    }
    .org-info-title-3 {
        /* info-title-3 */
        font-size: 120%;
        font-weight: bold;
    }
    .org-info-title-4 {
        /* info-title-4 */
        font-weight: bold;
    }
    .org-info-xref {
        /* info-xref */
        color: #0000ff;
        text-decoration: underline;
    }
    .org-isearch {
        /* isearch */
        color: #b0e2ff;
        background-color: #cd00cd;
    }
    .org-italic {
        /* italic */
        font-style: italic;
    }
    .org-keyword {
        /* font-lock-keyword-face */
        color: #a020f0;
    }
    .org-lazy-highlight {
        /* lazy-highlight */
        background-color: #afeeee;
    }
    .org-link {
        /* link */
        color: #0000ff;
        text-decoration: underline;
    }
    .org-link-visited {
        /* link-visited */
        color: #8b008b;
        text-decoration: underline;
    }
    .org-match {
        /* match */
        background-color: #ffff00;
    }
    .org-menu {
    }
    .org-message-cited-text {
        /* message-cited-text */
        color: #ff0000;
    }
    .org-message-header-cc {
        /* message-header-cc */
        color: #191970;
    }
    .org-message-header-name {
        /* message-header-name */
        color: #6495ed;
    }
    .org-message-header-newsgroups {
        /* message-header-newsgroups */
        color: #00008b;
        font-weight: bold;
        font-style: italic;
    }
    .org-message-header-other {
        /* message-header-other */
        color: #4682b4;
    }
    .org-message-header-subject {
        /* message-header-subject */
        color: #000080;
        font-weight: bold;
    }
    .org-message-header-to {
        /* message-header-to */
        color: #191970;
        font-weight: bold;
    }
    .org-message-header-xheader {
        /* message-header-xheader */
        color: #0000ff;
    }
    .org-message-mml {
        /* message-mml */
        color: #228b22;
    }
    .org-message-separator {
        /* message-separator */
        color: #a52a2a;
    }
    .org-minibuffer-prompt {
        /* minibuffer-prompt */
        color: #0000cd;
    }
    .org-mm-uu-extract {
        /* mm-uu-extract */
        color: #006400;
        background-color: #ffffe0;
    }
    .org-mode-line {
        /* mode-line */
        color: #000000;
        background-color: #bfbfbf;
    }
    .org-mode-line-buffer-id {
        /* mode-line-buffer-id */
        font-weight: bold;
    }
    .org-mode-line-highlight {
    }
    .org-mode-line-inactive {
        /* mode-line-inactive */
        color: #333333;
        background-color: #e5e5e5;
    }
    .org-mouse {
        /* mouse */
        background-color: #000000;
    }
    .org-negation-char {
    }
    .org-next-error {
        /* next-error */
        background-color: #eedc82;
    }
    .org-nobreak-space {
        /* nobreak-space */
        color: #a52a2a;
        text-decoration: underline;
    }
    .org-org-agenda-date {
        /* org-agenda-date */
        color: #0000ff;
    }
    .org-org-agenda-date-weekend {
        /* org-agenda-date-weekend */
        color: #0000ff;
        font-weight: bold;
    }
    .org-org-agenda-restriction-lock {
        /* org-agenda-restriction-lock */
        background-color: #ffff00;
    }
    .org-org-agenda-structure {
        /* org-agenda-structure */
        color: #0000ff;
    }
    .org-org-archived {
        /* org-archived */
        color: #7f7f7f;
    }
    .org-org-code {
        /* org-code */
        color: #7f7f7f;
    }
    .org-org-column {
        /* org-column */
        background-color: #e5e5e5;
    }
    .org-org-column-title {
        /* org-column-title */
        background-color: #e5e5e5;
        font-weight: bold;
        text-decoration: underline;
    }
    .org-org-date {
        /* org-date */
        color: #a020f0;
        text-decoration: underline;
    }
    .org-org-done {
        /* org-done */
        color: #228b22;
        font-weight: bold;
    }
    .org-org-drawer {
        /* org-drawer */
        color: #0000ff;
    }
    .org-org-ellipsis {
        /* org-ellipsis */
        color: #b8860b;
        text-decoration: underline;
    }
    .org-org-formula {
        /* org-formula */
        color: #b22222;
    }
    .org-org-headline-done {
        /* org-headline-done */
        color: #bc8f8f;
    }
    .org-org-hide {
        /* org-hide */
        color: #e5e5e5;
    }
    .org-org-latex-and-export-specials {
        /* org-latex-and-export-specials */
        color: #8b4513;
    }
    .org-org-level-1 {
        /* org-level-1 */
        color: #0000ff;
    }
    .org-org-level-2 {
        /* org-level-2 */
        color: #b8860b;
    }
    .org-org-level-3 {
        /* org-level-3 */
        color: #a020f0;
    }
    .org-org-level-4 {
        /* org-level-4 */
        color: #b22222;
    }
    .org-org-level-5 {
        /* org-level-5 */
        color: #228b22;
    }
    .org-org-level-6 {
        /* org-level-6 */
        color: #5f9ea0;
    }
    .org-org-level-7 {
        /* org-level-7 */
        color: #da70d6;
    }
    .org-org-level-8 {
        /* org-level-8 */
        color: #bc8f8f;
    }
    .org-org-link {
        /* org-link */
        color: #a020f0;
        text-decoration: underline;
    }
    .org-org-property-value {
    }
    .org-org-scheduled-previously {
        /* org-scheduled-previously */
        color: #b22222;
    }
    .org-org-scheduled-today {
        /* org-scheduled-today */
        color: #006400;
    }
    .org-org-sexp-date {
        /* org-sexp-date */
        color: #a020f0;
    }
    .org-org-special-keyword {
        /* org-special-keyword */
        color: #bc8f8f;
    }
    .org-org-table {
        /* org-table */
        color: #0000ff;
    }
    .org-org-tag {
        /* org-tag */
        font-weight: bold;
    }
    .org-org-target {
        /* org-target */
        text-decoration: underline;
    }
    .org-org-time-grid {
        /* org-time-grid */
        color: #b8860b;
    }
    .org-org-todo {
        /* org-todo */
        color: #ff0000;
    }
    .org-org-upcoming-deadline {
        /* org-upcoming-deadline */
        color: #b22222;
    }
    .org-org-verbatim {
        /* org-verbatim */
        color: #7f7f7f;
        text-decoration: underline;
    }
    .org-org-warning {
        /* org-warning */
        color: #ff0000;
        font-weight: bold;
    }
    .org-outline-1 {
        /* outline-1 */
        color: #0000ff;
    }
    .org-outline-2 {
        /* outline-2 */
        color: #b8860b;
    }
    .org-outline-3 {
        /* outline-3 */
        color: #a020f0;
    }
    .org-outline-4 {
        /* outline-4 */
        color: #b22222;
    }
    .org-outline-5 {
        /* outline-5 */
        color: #228b22;
    }
    .org-outline-6 {
        /* outline-6 */
        color: #5f9ea0;
    }
    .org-outline-7 {
        /* outline-7 */
        color: #da70d6;
    }
    .org-outline-8 {
        /* outline-8 */
        color: #bc8f8f;
    }
    .outline-text-1, .outline-text-2, .outline-text-3, .outline-text-4, .outline-text-5, .outline-text-6 {
    /* Add more spacing between section. Padding, so that folding with org-info.js works as expected. */

    }

    .org-preprocessor {
        /* font-lock-preprocessor-face */
        color: #da70d6;
    }
    .org-query-replace {
        /* query-replace */
        color: #b0e2ff;
        background-color: #cd00cd;
    }
    .org-regexp-grouping-backslash {
        /* font-lock-regexp-grouping-backslash */
        font-weight: bold;
    }
    .org-regexp-grouping-construct {
        /* font-lock-regexp-grouping-construct */
        font-weight: bold;
    }
    .org-region {
        /* region */
        background-color: #eedc82;
    }
    .org-rmail-highlight {
    }
    .org-scroll-bar {
        /* scroll-bar */
        background-color: #bfbfbf;
    }
    .org-secondary-selection {
        /* secondary-selection */
        background-color: #ffff00;
    }
    .org-shadow {
        /* shadow */
        color: #7f7f7f;
    }
    .org-show-paren-match {
        /* show-paren-match */
        background-color: #40e0d0;
    }
    .org-show-paren-mismatch {
        /* show-paren-mismatch */
        color: #ffffff;
        background-color: #a020f0;
    }
    .org-string {
        /* font-lock-string-face */
        color: #bc8f8f;
    }
    .org-texinfo-heading {
        /* texinfo-heading */
        color: #0000ff;
    }
    .org-tool-bar {
        /* tool-bar */
        color: #000000;
        background-color: #bfbfbf;
    }
    .org-tooltip {
        /* tooltip */
        color: #000000;
        background-color: #ffffe0;
    }
    .org-trailing-whitespace {
        /* trailing-whitespace */
        background-color: #ff0000;
    }
    .org-type {
        /* font-lock-type-face */
        color: #228b22;
    }
    .org-underline {
        /* underline */
        text-decoration: underline;
    }
    .org-variable-name {
        /* font-lock-variable-name-face */
        color: #b8860b;
    }
    .org-variable-pitch {
    }
    .org-vertical-border {
    }
    .org-warning {
        /* font-lock-warning-face */
        color: #ff0000;
        font-weight: bold;
    }
    .rss_box {
    }
    .rss_title, rss_title a {
    }
    .rss_items {
    }
    .rss_item a:link, .rss_item a:visited, .rss_item a:active {
    }
    .rss_item a:hover {
    }
    .rss_date {
    }

    #postamble {
        padding: .3em;
        margin-bottom: 1em;
        border: 1px solid gray;
        background-color: #f4f4f4;
    }

    #show_source {
        float: right;
        margin: .7em;
    }

} /* END OF @media all */



@media screen
{
  #table-of-contents {
    float: right;
    padding-right: 5px;
    border: 1px solid #CCC;
    max-width: 50%;
    overflow: auto;
  }
} /* END OF @media screen */

.due {
    font-size: 80%;
    margin: 0 1em 0 1em;
}

#contact-front p {
    text-align: left;
}

ul.index-links {
    padding-left: 0;
    margin-left: 0;
}

ul.index-links li {
    list-style-type: none;
    margin-left: 0;
}

div#preamble div#plupperButton a img {
    height: 16px;
    position: absolute;
    top: 4px;
}

blockquote {
    background: #f9f5d7;
    padding: 10px;
    border-radius: 10px;
    -moz-border-radius: 10px;
}

.figure img {
    background: white;
    padding: 5px;
    -moz-box-shadow: 0px 0px 5px #c7c7c7;
    -webkit-box-shadow: 0px 0px 5px #c7c7c7;
    box-shadow: 0px 0px 5px #c7c7c7;
}

div.hidden > strong {
    margin-left: 0;
    cursor: pointer;
    color: #aaa;
}

div.hidden > strong > small {
    margin-left: 1em;
    font-size: 90%;
    font-weight: normal;
    font-style: italic;
}

div.hidden div.hidden-content {
    padding-left: 10px;
    margin-bottom: 4em;
    border-left: 3px solid #999;
}

div.hidden {
    margin-bottom: 1em;
    margin-left: 2em;
}