CSS.hs

{-# LANGUAGE OverloadedStrings #-}
module Language.Haskell.Liquid.CSS where

import Data.Text (Text)
import qualified Data.Text as Text

syntax :: Text
syntax = Text.unlines
  [ ".hs-linenum {"
  , "  color: #B2B2B2;"
  , "  font-style: italic;"
  , "}"
  , ""
  , ".hs-error {"
  , "  background-color: #FF8585 ;"
  , "}"
  , ""
  , ".hs-keyglyph {"
  , "  color: #007020"
  , "}"
  , ""
  , ".hs-keyword {"
  , "  color: #007020;"
  , "  // font-weight: bold;"
  , "}"
  , ""
  , ".hs-comment, .hs-comment a {color: green;}"
  , ""
  , ".hs-str, .hs-chr {color: teal;}"
  , ""
  , ".hs-conid { "
  , "  color: #902000;   /* color: #00FFFF; color: #0E84B5; */"
  , "  //font-weight: bold;  "
  , "}"
  , ""
  , ".hs-definition { "
  , "  color: #06287E "
  , "  /* font-weight: bold; */ "
  , "}"
  , ""
  , ".hs-varid, .hs-varop, .hs-layout {"
  , "  color: black; "
  , "}"
  , ""
  , ".hs-num {"
  , "  color: #40A070;"
  , "}"
  , ""
  , ".hs-conop {"
  , "  color: #902000; "
  , "}"
  , ""
  , ".hs-cpp {"
  , "  color: orange;"
  , "}"
  , ""
  , ".hs-sel  {}"
  , ""
  , "a.annot {"
  , "  position:relative; "
  , "  color:#000;"
  , "  text-decoration:none; "
  , "  white-space: pre; "
  , "}"
  , ""
  , "a.annot:hover { "
  , "  z-index:25; "
  , "  background-color: #D8D8D8;"
  , "}"
  , ""
  , "a.annot span.annottext{display: none}"
  , ""
  , "a.annot:hover span.annottext{ "
  , "  "
  , "  border-radius: 5px 5px;"
  , "  "
  , "  -moz-border-radius: 5px; "
  , "  -webkit-border-radius: 5px; "
  , "  "
  , "  box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); "
  , "  -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);"
  , "  -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); "
  , ""
  , "  white-space:pre;"
  , "  display:block;"
  , "  position: absolute; "
  , "  left: 1em; top: 2em; "
  , "  z-index: 99;"
  , "  margin-left: 5; "
  , "  background: #FFFFAA; "
  , "  border: 3px solid #FFAD33;"
  , "  padding: 0.8em 1em;"
  , "}"
  , ""
  , "code {"
  , "   /* font-weight: bold; */"
  , "   background-color: rgb(250, 250, 250);"
  , "   border: 1px solid rgb(200, 200, 200);"
  , "   padding-left: 4px;"
  , "   padding-right: 4px;"
  , "}"
  , ""
  , "pre {"
  , "  background-color: #f0f0f0;"
  , "  border-top: 1px solid #ccc;"
  , "  border-bottom: 1px solid #ccc;"
  , "  padding: 5px;"
  , "  // font-size: 120%;"
  , "  // font-family: Bitstream Vera Sans Mono,monospace;"
  , "  display: block;"
  , "  overflow: visible;"
  , "}"
  ]