aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--host/docs/style.css102
1 files changed, 0 insertions, 102 deletions
diff --git a/host/docs/style.css b/host/docs/style.css
deleted file mode 100644
index bf97bf007..000000000
--- a/host/docs/style.css
+++ /dev/null
@@ -1,102 +0,0 @@
-body{
-font-family:Arial, Helvetica, sans-serif;
-font-size:11pt;
-color:black;
-background-color:white;
-width:90%;
-margin:0 auto 0 auto;
-}
-
-div.document div.contents{
-border:1px solid #333333;
-padding:10px 30px 10px 10px;
-margin-left:50px;
-color:inherit;
-background-color:#FCFCFC;
-display:inline-block;
-}
-
-div.document p.topic-title{
-font-weight:bold;
-}
-
-div.document a:link, div.document a:visited{
-color:#236B8E;
-background-color:inherit;
-text-decoration:none;
-}
-
-div.document a:hover{
-color:#4985D6;
-background-color:inherit;
-text-decoration:none;
-}
-
-div.document h1.title{
-font-size:150%;
-border-left:1px solid #333333;
-border-bottom:1px solid #333333;
-text-align:left;
-padding:10px 0px 10px 10px;
-margin:10px 5px 20px 5px;
-color:#333333;
-background-color:inherit;
-}
-
-div.document h2.subtitle, div.section h1{
-margin-top:50px;
-border-bottom:1px solid #333333;
-font-size:140%;
-text-align:center;
-padding:20px 0px 10px 0px;
-color:#333333;
-background-color:inherit;
-}
-
-div.section h2{
-font-size:110%;
-text-align:left;
-padding:15px 0px 5px 0px;
-text-decoration:underline;
-color:#333333;
-background-color:inherit;
-}
-
-div.document pre.literal-block{
-border:1px inset #333333;
-padding:5px;
-margin:10px 5px 10px 5px;
-color:inherit;
-background-color:#FCFCFC;
-font-size:90%;
-}
-
-div.document table{
-padding:5px;
-font-size:95%;
-}
-
-div.document th{
-padding:3px 7px 3px 7px;
-border:1px solid #333333;
-text-align:center;
-color:inherit;
-background-color:#ECECEC;
-}
-
-div.document tr{
-}
-
-div.document td{
-padding:3px 7px 3px 7px;
-border:1px solid #333333;
-text-align:center;
-color:inherit;
-background-color:#FCFCFC;
-}
-
-div.footer{
-margin:50px auto 30px auto;
-text-align:center;
-font-size:85%;
-}