Spaces:
Sleeping
Sleeping
pre { | |
overflow: auto; | |
} | |
pre.doctest { | |
border-left: 3px solid #99f; | |
padding-left: 1em; | |
} | |
pre.output { | |
border-left: 3px solid #9f9; | |
padding-left: 1em; | |
} | |
.doctest-example-prompt { | |
color: #333; | |
} | |
.doctest-success { | |
color: #060; | |
} | |
.doctest-failure { | |
color: #600; | |
} | |
.doctest-example-detail { | |
color: #060; | |
font-weight: bold; | |
} | |
a.doctest-failure-link { | |
text-decoration: none; | |
} | |
a.doctest-failure-link:hover { | |
text-decoration: underline; | |
} | |
.doctest-example:target { | |
border-left: 3px solid #f00; | |
} | |
div.test:target { | |
border: 3px solid #ff0; | |
} | |
div.test { | |
border: 1px solid #999; | |
margin-bottom: 1em; | |
} | |
div.test .test-id { | |
position: relative; | |
float: right; | |
background-color: #000; | |
color: #bbb; | |
padding: 3px; | |
} | |
div.test .test-id a:link, | |
div.test .test-id a:visited { | |
color: #bbb; | |
text-decoration: none; | |
} | |
div.test .test-id a:hover { | |
text-decoration: underline; | |
} | |